10 Racklog Module Language

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

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.