4.6.1 Standard Order of Terms
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Built-in Predicates
Comparison and Unification of Terms
Standard Order of Terms
==/2
\==/2
@</2
@=</2
@>/2
@>=/2
compare/3
Packages
Availability:
built-in
[ISO]
@Term1
\==
@Term2
Equivalent to
\+
Term1 == Term2
.