naga.schema.structs — naga 0.1.0

Defines the schemas for rule structures

Axiom clj

Body clj

ConstraintData clj

EntityPattern clj

EntityPropAxiomElt clj

EntityPropertyElt clj

EntityPropertyPattern clj

EntityPropValAxiomElt clj

EPVPattern clj

FilterPattern clj

Head clj

new-rule clj

(new-rule head body name)

(new-rule head body name downstream)

(new-rule head body name downstream salience)

(new-rule head body name downstream salience status execution-count)

Inputs: ([head :- Head body :- Body name :- s/Str] [head :- Head body :- Body name :- s/Str downstream :- [RulePatternPair]] [head :- Head body :- Body name :- s/Str downstream :- [RulePatternPair] salience :- s/Num] [head :- Head body :- Body name :- s/Str downstream :- [RulePatternPair] salience :- s/Num status :- {EPVPattern (s/atom ConstraintData)} execution-count :- (s/atom s/Num)])

Pattern clj

Program clj

Results clj

RulePatternPair clj

RunnableProgram clj

Statement clj

StatusMap clj

StatusMapEntry clj

Convenience for representing a single key/value pair in a StatusMap

strict-map->DynamicRule clj

(strict-map->DynamicRule m1910 & [drop-extra-keys?__457__auto__])

Factory function for class DynamicRule, taking a map of keywords to field values. All keys are required, and no extra keys are allowed. Even faster than map->

strict-map->Rule clj

(strict-map->Rule m1844 & [drop-extra-keys?__457__auto__])

Factory function for class Rule, taking a map of keywords to field values. All keys are required, and no extra keys are allowed. Even faster than map->

Triple clj

Value clj

vars clj

(vars pattern)

Inputs: [pattern :- EPVPattern] Returns: [Symbol]

Return a seq of all variables in a pattern

vartest? clj

(vartest? x)

Inputs: [x] Returns: s/Bool