Liking cljdoc? Tell your friends :D

datalog.analysis

Static analysis of a parsed query, independent of any query engine.

A clause such as [(> ?a 18)] cannot run before something binds ?a, but the order in which the clauses are written does not matter, because an engine is free to reorder them. What does matter is whether any order can work at all, and that question is decidable from the parsed query alone.

Static analysis of a parsed query, independent of any query engine.

A clause such as `[(> ?a 18)]` cannot run before something binds `?a`, but
the order in which the clauses are written does not matter, because an engine
is free to reorder them. What does matter is whether any order can work at
all, and that question is decidable from the parsed query alone.
raw docstring

cljdoc builds & hosts documentation for Clojure/Script libraries

Keyboard shortcuts
Ctrl+kJump to recent docs
Move to previous article
Move to next article
Ctrl+/Jump to the search field
× close