What is the difference between A \= B and not(A==B) in Prolog?
I found this http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse5 and this wiki page http://en.wikibooks.org/wiki/Prolog/Built-in_predicates but it didn't help me since there is no clarification to the difference, nor short meaning for \=.
Thanks.