Liking cljdoc? Tell your friends :D
Clojure only.

eva.query.datalog.predicate

constants->lvarsclj

(constants->lvars predicate bindings)

Takes a predicate some of whose terms may be constants, and a set of bindings. Returns [new-pred new-bindings], where all terms in new-pred are lvars and new-bindings is the corresponding unification-map merged into every bindings map in bindings.

Takes a predicate some of whose terms may be constants,
and a set of bindings.
Returns [new-pred new-bindings], where all terms in new-pred are lvars
and new-bindings is the corresponding unification-map merged into every
bindings map in bindings.
sourceraw docstring

evaluable-predicateclj

(evaluable-predicate sym {:keys [type] :as options-map})
source

extensional-predicateclj

(extensional-predicate sym {:keys [type] :as options-map})
source

predicateclj

(predicate sym {:keys [term-count required type] :or {required []}})

Returns a function that takes a predicate's terms and modifiers and generates a Predicate object.

Returns a function that takes a predicate's terms and modifiers and
generates a Predicate object.
sourceraw docstring

rule-predicateclj

(rule-predicate sym {:keys [type] :as options-map})
source

cljdoc is a website building & hosting documentation for Clojure/Script libraries

Keyboard shortcutsReport a problemcljdoc on GitHub
× close