[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: (no subject)
|
From: |
LECONTE Jean Michel |
|
Subject: |
Re: (no subject) |
|
Date: |
Thu, 28 Feb 2002 23:58:48 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.4) Gecko/20011126 Netscape6/6.2.1 |
i think that the definition of dif(X,Y) in prolog IV is
dif(X,Y):-freeze(X,freeze(Y,X\=Y)).
and there is no equivalent in gnu prolog cause freeze/2 is not implemented
but if you are using constraints, you can try X #\= Y
Jean Michel LECONTE
spyjo wrote:
hello,
I'm a french user of gnuprolog and i have a problem. I use ' dif(X,Y) '
in prolog IV, X and Y are integer, but i don't find the equivalent in
gnuprolog, can you help me ?
think.
_______________________________________________
Users-prolog mailing list
address@hidden
http://mail.gnu.org/mailman/listinfo/users-prolog