unification.pl -- Unification of terms in mongolog programs.

The following predicates are supported:

PredicateArguments
=/2?Term1, ?Term2
\=/2?Term1, ?Term2
assign/2-Term1, +Term2
author
- Daniel Beßler
See also
- https://www.swi-prolog.org/pldoc/man?section=compare
license
- BSD