« Index of all namespaces of this project
(adorn-rules-set rs q)
Adorns the given rules-set for the given query. (rs) is a rules-set, (q) is an adorned query.
(build-partial-tuple q bindings)
Given a query and a set of bindings, build a partial tuple needed to extract the relation from the database.
(magic-transform rs i-preds)
Return a magic transformation of an adorned rules-set (rs). The (i-preds) are the predicates of the intension database. These default to the predicates within the rules-set.
Given a query, return the predicate to use for database insertion.
Given a magic form of a query, give back the literal form of its seed relation