naga.rules — org.clojars.quoll/naga 0.2.14

Defines rule structures and constructors to keep them consistent

check-symbol clj/s

(check-symbol sym)

Asserts that symbols are unbound variables for a query. Return true if it passes.

compatible clj/s

(compatible x y)

create-program clj/s

(create-program rules axioms)

Inputs: [rules :- [Rule] axioms :- [Axiom]] Returns: Program

Converts a sequence of rules into a program. A program consists of a map of rule names to rules, where the rules have dependencies.

dbg clj/s

(dbg x)

find-matches clj/s

(find-matches a [nm sb])

Inputs: [a :- EPVPattern [nm sb] :- [(s/one s/Str "rule-name") (s/one Body "body")]] Returns: [RulePatternPair]

returns a sequence of name/pattern pairs where a matches a pattern in a named rule

mark-unbound clj/s

(mark-unbound head body)

Convert a head to use fresh vars for any vars that are unbound. Scans the vars in the body to identify which vars are unbound.

match? clj/s

(match? a b)

Inputs: [a :- EPVPattern b :- EPVPattern] Returns: s/Bool

Does pattern a match pattern b?

named-rule clj/s

(named-rule name {:keys [head body salience downstream]})

Inputs: [name :- Rule {:keys [head body salience downstream]} :- s/Str] Returns: Rule

Creates a rule the same as an existing rule, with a different name.

r clj/s≠ macro

clj

(r & [f :as rs])

cljs

(r &form &env & [f :as rs])

Create a rule, with an optional name. Var symbols need not be quoted.

rule clj/s≠

clj

(rule head body)

(rule head body name)

cljs

(rule G__1024 G__1025)

(rule G__1029 G__1030 G__1031)

Inputs: ([head body] [head body name]) Returns: Rule

Creates a new rule