comparison.pl -- Comparison of arbitrary terms in mongolog programs.
The following predicates are supported:
| Predicate | Arguments |
|---|
| ==/2 | @Term1, @Term2 |
| \==/2 | @Term1, @Term2 |
- author
- - Daniel Beßler
- See also
- - https://www.swi-prolog.org/pldoc/man?section=standardorder
- license
- - BSD