11 Racklog Module Language

1	Simple Goals and Queries
2	Predicates
3	Using Conventional Racket Expressions in Racklog
4	Backtracking
5	Unification
6	Conjunctions and Disjunctions
7	Manipulating Racklog Variables
8	The Cut (!)
9	Set Predicates
10	Higher-order Predicates
11	Racklog Module Language
12	Glossary of Racklog Primitives
	Bibliography

package: racklog

This module language accepts the syntax of Datalog (except clauses need not be safe) and compiles each predicate to a relation.

The accepted syntax is available in the Datalog Module Language documentation.