Further relations (goals) and utility functions to extend core.logic.
Further relations (goals) and utility functions to extend core.logic.
(lvar-table m n)Creates a 2-dimensional array of logic variables with m rows and n
columns. It returns the table and a complete sequence as a pair.
The main purpose is to hide the irrelevant technical details.
Creates a 2-dimensional array of logic variables with `m` rows and `n` columns. It returns the table and a complete sequence as a pair. The main purpose is to hide the irrelevant technical details.
(lvar-vector n)Just creating a vector of length n containing logic variables.
Just creating a vector of length `n` containing logic variables.
(ntho coll index content)(ntho coll index content i)Succeeds if the sequential collection coll has content at the position
index. Classic recursive implementation.
Succeeds if the sequential collection `coll` has `content` at the position `index`. Classic recursive implementation.
(reduceo relo initial coll result)Relational reduce, succeds if the reduction produces the result.
Relational reduce, succeds if the reduction produces the result.
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 |