[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Bug re: \+ operator

From: Jules Altfas
Subject: Bug re: \+ operator
Date: Mon, 25 Dec 2000 21:36:02 /etc/localtime


If you already know about this problem, good!

In gprolog 1.2.5, I used the following goal:
        \+ (0 is (Y mod 4)),

Obviously, if "Y mod 4" is other than 0, it should succeed.  When I ran
this in the top-level interpreter, in fact it worked as expected, but not
when compiled.  In the compiled version, this goal would succeed but I
always got the message:


This didn't seem to be a problem in gprolog 1.2.4.  I was able to use a
work-around in 1.2.5 for compiled code with
        M is (Y mod 4),
        M \= 0, ...

At any rate, I really like the compiler and appreciate all the hard work
that's gone into it.

Jules R. Altfas.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]