(batched-pred-fn->Evaluable f)
Assumes that f returns a truthy/falsy value for each call. This produces an Evaluable implementation that returns each group of terms passed in for which f returns a truthy value.
Assumes that f returns a truthy/falsy value for each call. This produces an Evaluable implementation that returns each group of terms passed in for which f returns a truthy value.
(coll-bind-fn->Evaluable f args-count)
Assumes that f returns a collection of results for each call. This produces an Evaluable implementation that unifies in turn each item of this collection with the last term of each group of terms passed in.
Assumes that f returns a collection of results for each call. This produces an Evaluable implementation that unifies in turn each item of this collection with the last term of each group of terms passed in.
(pred-fn->Evaluable f)
Assumes that f returns a truthy/falsy value for each call. This produces an Evaluable implementation that returns each group of terms passed in for which f returns a truthy value.
Assumes that f returns a truthy/falsy value for each call. This produces an Evaluable implementation that returns each group of terms passed in for which f returns a truthy value.
(relation-bind-fn->Evaluable f args-count)
Assumes that f returns a collection of relations for each call. This produces an Evaluable implementation that unifies in turn each relation with the final =(- terms-count args-count)= terms of each group of terms passed in.
Assumes that f returns a collection of relations for each call. This produces an Evaluable implementation that unifies in turn each relation with the final =(- terms-count args-count)= terms of each group of terms passed in.
(scalar-bind-fn->Evaluable f args-count)
Assumes that f returns a single scalar value for each call. This produces an Evaluable implementation that unified this return value with the final term of each group of terms passed in.
Assumes that f returns a single scalar value for each call. This produces an Evaluable implementation that unified this return value with the final term of each group of terms passed in.
(tuple-bind-fn->Evaluable f args-count)
Assumes that f returns a collection of results for each call. This produces an Evaluable implementation that unifies that collection with the final =(- terms-count args-count)= terms of each group of terms passed in.
Assumes that f returns a collection of results for each call. This produces an Evaluable implementation that unifies that collection with the final =(- terms-count args-count)= terms of each group of terms passed in.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close