Did you know ... Search Documentation:
Pack ciao -- prolog/dialect/ciao/hiordlib.pl
PublicShow source

Re-exported predicates

The following predicates are re-exported from other modules

 foldl(:Goal, +List, +V0, -V)
 foldl(:Goal, +List1, +List2, +V0, -V)
 foldl(:Goal, +List1, +List2, +List3, +V0, -V)
 foldl(:Goal, +List1, +List2, +List3, +List4, +V0, -V)
Fold a list, using arguments of the list as left argument. The foldl family of predicates is defined by:
foldl(P, [X11,...,X1n], ..., [Xm1,...,Xmn], V0, Vn) :-
      P(X11, ..., Xm1, V0, V1),
      ...
      P(X1n, ..., Xmn, V', Vn).

Undocumented predicates

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

 map(Arg1, Arg2, Arg3)
 map(Arg1, Arg2, Arg3, Arg4)
 map(Arg1, Arg2, Arg3, Arg4, Arg5)
 map(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
 minimum(Arg1, Arg2, Arg3)
 split(Arg1, Arg2, Arg3, Arg4)