Subject: About unification

From: Jorge Cabrera Gámez <[email-masked]>
Date: Wed, 22 Nov 2000 18:42:58 +0000

Hi,

Possibly it's a stupid question, but can someone explain this behavior in
unification:
(using swi prolog 3.3.10)

?-  -A = -(3).
A = 3
Yes

?- -A = -3.
No

Is it the right behavior?.

The only explanation I can think of is how the term '-A' is treated internally,
as shown using display/1.

?- display(-A = -3).
=(-(_G237), -3)
A = _G237
Yes

Thanks in advance.

JORGE.