Context RelationalProgramming

The original "programming in logic" language

See also :