10 Racklog Module Language

 #lang racklog 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.