Did you know ... Search Documentation:
Title for wiki(tags)

Pages tagged "\+"

SWI-Prolog Reference Manual
 
4.7 Comparison and Unification of Terms
\=/2Equivalent to \+Term1 = Term2.