(prep expr)Prep a quoted expression. All symbols preceded by ? will be replaced with logic vars.
Prep a quoted expression. All symbols preceded by ? will be replaced with logic vars.
(unifier ts)(unifier opts ts)Return the unifier for terms ts. Will prep the terms.
Return the unifier for terms ts. Will prep the terms.
(unifier* ts)(unifier* opts ts)Return the unifier that unifies terms ts. All terms in ts should prepped terms.
Return the unifier that unifies terms ts. All terms in ts should prepped terms.
(unify ts)(unify opts ts)Unify the terms ts returning a the value that represents their unificaiton. Will prep the terms.
Unify the terms ts returning a the value that represents their unificaiton. Will prep the terms.
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 |