eva.query.datalog.qsqr.protocols
Statecljprotocol
add-queryclj
(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-antecedentclj
(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-ruleclj
(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.
bindingsclj
(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-logclj
(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-logclj
(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.
derivedclj
(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-logclj
(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-bindingsclj
(reset-bindings state)cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close