do(+F, +A, -B) is det

Similar to meta predicate phrase/2,3, but works not only for list processing. F must not contain ! (cut), mainly simplicity for interpretation.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 foldr(Arg1, Arg2, Arg3, Arg4)

 iterate(Arg1, Arg2, Arg3)

 for(Arg1, Arg2, Arg3)

 foldnum(Arg1, Arg2, Arg3, Arg4)

 fold(Arg1, Arg2, Arg3)

 fold(Arg1, Arg2, Arg3, Arg4)

 fold(Arg1, Arg2, Arg3, Arg4, Arg5)

 mapterm_rec(Arg1, Arg2, Arg3)

 maplist_opp(Arg1, Arg2, Arg3)

 repeat(Arg1, Arg2)

 monad(Arg1, Arg2, Arg3)

 time(Arg1, Arg2, Arg3)

 until(Arg1, Arg2, Arg3, Arg4)

 while(Arg1, Arg2, Arg3, Arg4)

 iff(Arg1, Arg2)

 cputime(Arg1)

 cputime

 pred_eval(Arg1, Arg2)

 pred_eval(Arg1, Arg2, Arg3)