(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.
(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.
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |