eva.query.datalog.qsqr.state
conjunct-bindingsclj
(conjunct-bindings state predicate)Updates the bindings stored in state using current derived relations.
Updates the bindings stored in state using current derived relations.
joinclj
(join a b disc merge)(join a disc-a b disc-b merge)(join a proj-a b proj-b disc merge)Performs a join in 'linear time' O(input + output). merge should be a function that actually performs the join on each pair of items from each cross-product determined by the discriminator. :)
Performs a join in 'linear time' O(input + output). merge should be a function that actually performs the join on each pair of items from each cross-product determined by the discriminator. :)
join-with-batched-merge-fnclj
(join-with-batched-merge-fn a b disc cross-merge)(join-with-batched-merge-fn a disc-a b disc-b cross-merge)(join-with-batched-merge-fn a proj-a b proj-b disc cross-merge)Performs a join in 'linear time' O(input + output). Like join, but
takes a merge-fn that operates on the full sets of items involved in
each cross-product of the join.
Performs a join in 'linear time' O(input + output). Like `join`, but takes a merge-fn that operates on the full sets of items involved in each cross-product of the join.
novel-generalizationclj
(novel-generalization state gen-pred)Returns nil if the generalized gen-pred contains nothing novel given the execution state; otherwise, this returns the gen-pred with any previously-run bindings removed.
Returns nil if the generalized gen-pred contains nothing novel given the execution state; otherwise, this returns the gen-pred with any previously-run bindings removed.
predicate->generalizedclj
(predicate->generalized predicate bindings-set)Takes a Predicate and returns a GeneralizedPredicate incorporating information from the set of bindings.
Takes a Predicate and returns a GeneralizedPredicate incorporating information from the set of bindings.
remove-unifiableclj
(remove-unifiable bindings predicate derived)Remove any unification-maps from bindings that are consistent with any currently derived relations for this predicate.
Remove any unification-maps from bindings that are consistent with any currently derived relations for this predicate.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close