edu.ucdenver.ccp.kr.forward-rule — edu.ucdenver.ccp/kr-core 1.4.19

add-reify-fns clj

(add-reify-fns {reify :reify :as rule})

all-head-vars-in-body-sans-reify-vars? clj

(all-head-vars-in-body-sans-reify-vars? {head :head body :body :as rule})

all-head-vars-not-in-body-in-reify? clj

(all-head-vars-not-in-body-in-reify? {head :head body :body :as rule})

all-reify-vars-in-head? clj

(all-reify-vars-in-head? {head :head :as rule})

ask-forward-rule clj

(ask-forward-rule source-kb {head :head body :body :as rule})

count-forward-rule clj

(count-forward-rule source-kb {head :head body :body :as rule})

default-reify-rule-form-fn clj

(default-reify-rule-form-fn)

extend-reify-map clj

(extend-reify-map reify-opts fn & [dependency-vars])

forward-safe-with-reification? clj

(forward-safe-with-reification? rule)

forward-safe? clj

(forward-safe? rule)

reification-dependencies clj

(reification-dependencies reify-list)

reify-bindings clj

(reify-bindings reify-with-fns bindings)

reify-rule-form-fn clj multimethod

reify-variables clj

(reify-variables {reify :reify :as rule})

run-forward-rule clj

(run-forward-rule source-kb target-kb source-rule)

sort-reification-based-on-dependencies clj

(sort-reification-based-on-dependencies reify-list)

with-reify-name-bindings clj macro

(with-reify-name-bindings name-bindings & body)