Liking cljdoc? Tell your friends :D

eva.query.datalog.rule


freshclj

(fresh form)
source

freshen-expressionsclj

(freshen-expressions rule query)

Freshens lvars in the rule, and propagates absolute constants; i.e., constants that are constant across the entire search space.

Freshens lvars in the rule, and propagates absolute constants; i.e., constants
that are constant across the entire search space.
sourceraw docstring

ruleclj

(rule consequent antecedents)
source

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

× close