Re: difference between ?= and ==

On Tue, 10 Feb 2009 13:53:50 -0800, levilista@xxxxxxxxx wrote:

..



?- help(?= / 2 ).
?=(@Term1, @Term2)
Decide whether the equality of Term1 and Term2 can be compared
safely, i.e. whether the result of Term1 == Term2 can change due
to further instantiation of either term. It is defined as by
?=(A,B) :- (A==B ; A \= B), !. See also dif/2.


?- ?=(b,a).
true.

?- b == a.
false.


Cheers

Bart Demoen
.

Relevant Pages

  • Re: difference between ?= and ==
    ... Decide whether the equality of Term1 and Term2 can be compared ... to further instantiation of either term. ... The former will not trigger suspended goals, ...
    (comp.lang.prolog)
  • Re: Efficient implementation avoiding ifft
    ... convolve a and b and save result as term1 and convolve x and y and save ... result in term2.then i cross correlate term1 and term2 to get the ... Since you know the ffts term1 and term2 of the convolutions ...
    (comp.dsp)