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

top ← prev up next →

11 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.

top ← prev up next →

var _hmt = _hmt || []; (function() { var hm = document.createElement("script"); hm.src = "https://hm.baidu.com/hm.js?f1ba5b4a33d29d84db69f029b9ace483"; var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(hm, s); })();