A datalog clause, i.e.
Datalog constant.
A database of facts and clauses, with incremental fixpoint computation
Conversion between the universal type and 'a
Toplevel statement
Interpreted predicate.
A datalog atom, i.e.
Map symbols to builtin functions.
mutable set of term lists
Abstract type of symbols (individual objects)
The universal type
A database is a repository for Datalog clauses.
A rewriting system.
A set of term->data bindings, for efficient retrieval by unification