Liking cljdoc? Tell your friends :D
Clojure only.
edu.ucdenver.ccp.kr.rule
*default-ok-ns*clj
*print-bad-rules*clj
*verify-on-read*clj
all-head-vars-in-body?clj
(all-head-vars-in-body? {head :head body :body :as rule})all-ns-known?clj
(all-ns-known? safe-ns-set {head :head body :body :as rule})apply-horn-ruleclj
(apply-horn-rule head body)in prolog: head :- body (head is true if body is)
in prolog: head :- body (head is true if body is)
apply-horn-rule-and-refiyclj
(apply-horn-rule-and-refiy head body)in prolog: head :- body (head is true if body is)
in prolog: head :- body (head is true if body is)
apply-post-processing-ruleclj
(apply-post-processing-rule
kb
{name :name template :query transform :post-process :as rule})bad-rulesclj
(bad-rules test rules)body-in-kb?clj
(body-in-kb? kb {body :body :as rule})connected-rule?clj
(connected-rule? {head :head body :body :as rule})directory?clj
(directory? f)load-rules-from-classpathclj
(load-rules-from-classpath pattern)load-rules-from-directoryclj
(load-rules-from-directory dir)load-rules-from-fileclj
(load-rules-from-file file)some-head-vars-in-body?clj
(some-head-vars-in-body? {head :head body :body :as rule})cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close