users-prolog
[Top][All Lists]
Advanced

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

gprolog display incorrectly a ?


From: Michel Levy
Subject: gprolog display incorrectly a ?
Date: Mon, 14 Feb 2005 18:45:32 +0100
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3) Gecko/20030314

Let's suppose that the predicate a is defined by
a(f(b),1).
a(f(c),2).
We execute the query
?- a(f(b),X).
X = 1?
Why Prolog display a ? although there are no remaining alternatives ?

--
Michel Levy
36 rue George Sand 38400 Saint Martin d'Hères
email : address@hidden
http://www-lsr.imag.fr/users/Michel.Levy/







reply via email to

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