Pas égaux et ne pas unifier en Prolog

Quelle est la différence entre Un \= B et non(A==B) dans le Prologue?

J'ai trouvé ce http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=iaa-htmlse5
et cette page du wiki
http://en.wikibooks.org/wiki/Prolog/Built-in_predicates
mais il n'a pas m'aider car il n'y a pas de clarification de la différence, ni courte sens pour \=.

Grâce.

Vous pourriez être intéressé à lire aussi ceci et ceci réponse

OriginalL'auteur Vitali Pom | 2012-07-14

  1. 17

    A \= B est équivalent à not (A = B)

    Donc permet de comparer =/2 et ==/2 premier; à partir de la swi-prolog manuel:

    ?Terme 1 = ?Terme2

    Unifier Term1 à Terme2. Vrai si l'unification réussit

    @Term1 == @Terme2

    Vrai si Term1 est équivalent à Terme2.

    Avis que =/2 tente d'unifier les conditions et si elle réussit, c'est vrai, tout ==/2 juste effectue une vérification:

    ?- X = 1.
X = 1.
(implicit true.)

    tout 

    ?- X == 1.
false.

    et aussi:

    ?- X = Y.
X = Y.

?- X == Y.
false.

    maintenant, not/1 pour inverser le résultat et être vrai si =/2 ou ==/2 était faux.

    pour==/2 il n'y a rien de compliqué; si les termes étaient équivalents maintenant, il retournera false sinon vrai.

    pour =/2 vous devriez vous rappeler que tous les unifications sera temporaire:

    ?- \+ (\+ X = 1), print(X).
_G399
true.

    (_G399 indique que X est non-instancié)

    Mais pourquoi ne pas(A==B)? De ma courte expérience il y a une différence entre lui & /= depuis que mon code fonctionne comme prévu avec pas et ne le fait pas avec \=.
    désolé si je n'étais pas clair; la différence entre not(A==B) et (A\=B) est la même qu'entre A==B et A=B: not A==B sera vrai si les conditions ne sont pas les mêmes, même si elles peuvent être unifiée tout en \= retournera false
    Merci :). Maintenant, tout est laissé pour moi d'apprendre quelles sont les unifier.
    vous pouvez afficher l'unification comme une généralisation de l'affectation: X=1 X est unifié avec 1 et maintenant, c'est 1. [X,Y] = [1,2] X est 1, Y 2. [X,2] = [4,Y] X 4, Y est de 2. 1+X = Y+(Z+3) Y est 1, X est Z+3.

    OriginalL'auteur Thanos Tintinidis