Comparer les deux atomes en Prolog

J'ai appris prologue.. je suis à l'aide d'un éditeur nommé prol1.1.1 j'ai besoin d'écrire la règle de comparer 2 chaînes, quand je donne quelque chose comme

rel(a1,b1).
rel(a2,b2).
rel(b2,c2).

associatedWith(X,Y,Z) :- rel(X,Y),rel(Y,Z).

?- associatedWith(X,Y,Z).

il fonctionne

mais quand je donne

?- associatedWith(X,Y,Z),X=\=Z.

- je obtenir de l'analyseur exception

Parser exception [Should be evaluable ''a2''[7:31]] line 7:31

ce que j'ai obtenu à partir de sites web est =\= est pour les valeurs numériques, je n'ai pas pu obtenir de réponse pour la comparaison des valeurs de chaîne.. quelqu'un peut m'aider..

et je n'ai pas pu obtenir de gui de swi-prolog peut-u s'il vous plaît m'aider avec cela?
j'ai besoin d'utiliser l'appel prologue de programme java et la sortie doit être traitée à nouveau en java, quelqu'un peut m'aider..

OriginalL'auteur karthi | 2010-09-05

  1. 6

    Vous êtes en train de comparer les atomes, pas de chaînes. De toute façon, vous devez \=

     ?- aaa = aaa.
true.

 ?- aaa \= aaa.
false.

 ?- aaa \= aab.
true.
    En fait, il est plus communément \+(A == B) ou A \== B pour l'inégalité des conditions. A \= B est court pour \+ (A = B), c'est à dire, n'est pas unifiable.

    OriginalL'auteur Volodymyr Gubarkov