solutionsequences.html#call_nth/2">call_nth/2True when Goal succeeded for the Nth time. distinct/1True if Goal is true and no previous solution of Goal bound Witness to the same value. distinct/2True if Goal is true and no previous solution of Goal bound Witness to the same value. group_by/4Group bindings of Template that have the same value for By. limit/2Limit the number of solutions. offset/2Ignore the first Count solutions. order_by/2Order solutions according to Spec. reduced/1Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory. reduced/3Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory.

F.2.57 library(thread)

call_