Did you know ... Search Documentation:
Pack xlibrary -- prolog/abstract_slicer.pl
PublicShow source

Undocumented predicates

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

 abstract_slice(Arg1, Arg2, Arg3)
 slicer_abstraction(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, Arg9)