(add-reify-fns {reify :reify :as rule})(all-head-vars-in-body-sans-reify-vars? {head :head body :body :as rule})(all-head-vars-not-in-body-in-reify? {head :head body :body :as rule})(all-reify-vars-in-head? {head :head :as rule})(ask-forward-rule source-kb {head :head body :body :as rule})(count-forward-rule source-kb {head :head body :body :as rule})(default-reify-rule-form-fn)(extend-reify-map reify-opts fn & [dependency-vars])(forward-safe-with-reification? rule)(forward-safe? rule)(reification-dependencies reify-list)(reify-bindings reify-with-fns bindings)(reify-variables {reify :reify :as rule})(run-forward-rule source-kb target-kb source-rule)(sort-reification-based-on-dependencies reify-list)(with-reify-name-bindings name-bindings & body)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 |