Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 complement(+UGraphIn, -UGraphOut)

UGraphOut is a ugraph with an edge between all vertices that are not connected in UGraphIn and all edges from UGraphIn removed. Example:

?- complement([1-[3,5],2-[4],3-[],
               4-[1,2,7,5],5-[],6-[],7-[],8-[]], NL).
NL = [1-[2,4,6,7,8],2-[1,3,5,6,7,8],3-[1,2,4,5,6,7,8],
      4-[3,5,6,8],5-[1,2,3,4,6,7,8],6-[1,2,3,4,5,7,8],
      7-[1,2,3,4,5,6,8],8-[1,2,3,4,5,6,7]]

To be done

- Simple two-step algorithm. You could be smarter, I suppose.

Undocumented predicates

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

 lpa_apply(Arg1)

 lpa_apply(Arg1, Arg2)

 identity(Arg1, Arg2)

 complement(Arg1)

 every(Arg1, Arg2)

 some(Arg1, Arg2)

 somechk(Arg1, Arg2)

 map(Arg1, Arg2, Arg3)

 filter(Arg1, Arg2, Arg3)

 mapfilter(Arg1, Arg2, Arg3)

 partition(Arg1, Arg2, Arg3, Arg4)

 foldl(Arg1, Arg2, Arg3, Arg4)

 foldl1(Arg1, Arg2, Arg3)

 foldr(Arg1, Arg2, Arg3, Arg4)

 foldr1(Arg1, Arg2, Arg3)