(add-query state query)Adds this generalized predicate to the state blob; if a matching predicate/decoration combination already exists, this merges the two.
Adds this generalized predicate to the state blob; if a matching predicate/decoration combination already exists, this merges the two.
(select-antecedent state predicates)From the supplied sequence of predicates, selects one to evaluate next. Returns [selected others]. May throw an exception if, for any reason, a predicate cannot be selected.
From the supplied sequence of predicates, selects one to evaluate next. Returns [selected others]. May throw an exception if, for any reason, a predicate cannot be selected.
(select-rule state query rules)From the supplied sequence of rules, selects one to employ next. Returns [selected others]. May throw an exception if, for any reason, a rule cannot be selected.
From the supplied sequence of rules, selects one to employ next. Returns [selected others]. May throw an exception if, for any reason, a rule cannot be selected.
(bindings state)(bindings state x)Returns/sets a set of unifier maps: #{ unifier, unifier, unifier ... }. (unifier = { ?a ?b, ?b c ...} )
Returns/sets a set of unifier maps: #{ unifier, unifier, unifier ... }. (unifier = { ?a ?b, ?b c ...} )
(rule-log state)(rule-log state queries)Returns/sets a nested datastructure representing the generalized rule queries that have been seen already: { predicate-symbol { decoration generalized-pred }} The decoration structure is exactly what is returned by eva.query.datalog.protocols/decoration; the generalized-pred is an eva.query.datalog.predicate.GeneralizedPredicate.
Returns/sets a nested datastructure representing the generalized rule queries that have been seen already: { predicate-symbol { decoration generalized-pred }} The decoration structure is exactly what is returned by eva.query.datalog.protocols/decoration; the generalized-pred is an eva.query.datalog.predicate.GeneralizedPredicate.
(evaluation-log state)(evaluation-log state queries)Returns/sets a nested datastructure representing the generalized evaluable queries that have been seen already: { predicate-symbol { decoration generalized-pred }} The decoration structure is exactly what is returned by eva.query.datalog.protocols/decoration; the generalized-pred is an eva.query.datalog.predicate.GeneralizedPredicate.
Returns/sets a nested datastructure representing the generalized evaluable queries that have been seen already: { predicate-symbol { decoration generalized-pred }} The decoration structure is exactly what is returned by eva.query.datalog.protocols/decoration; the generalized-pred is an eva.query.datalog.predicate.GeneralizedPredicate.
(derived state)Returns a nested datastructure representing the current derivations of constants for particular predicates: { relation-symbol #{ constant-tuples }}
Returns a nested datastructure representing the current derivations of constants for particular predicates: { relation-symbol #{ constant-tuples }}
(extension-log state)(extension-log state queries)Returns/sets a nested datastructure representing the generalized edb queries that have been seen already: { predicate-symbol { decoration generalized-pred }} The decoration structure is exactly what is returned by eva.query.datalog.protocols/decoration; the generalized-pred is an eva.query.datalog.predicate.GeneralizedPredicate.
Returns/sets a nested datastructure representing the generalized edb queries that have been seen already: { predicate-symbol { decoration generalized-pred }} The decoration structure is exactly what is returned by eva.query.datalog.protocols/decoration; the generalized-pred is an eva.query.datalog.predicate.GeneralizedPredicate.
(reset-bindings state)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 |