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

Undocumented predicates

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

 anti_unify(Arg1, Arg2, Arg3)