differences in implementation

randomizer <[email protected]>
Newsgroups gmane.comp.gnu.prolog.general
Message-ID <[email protected]>
I am using a simple kb from a book "Learn prolog now!", 
wizard(ron).
hasWand(harry).
quidditchPlayer(harry).
wizard(X) :- hasBroom(X),hasWand(X).
hasBroom(X) :- quidditchPlayer(X).

gnu prolog answers question wizard(harry).  "no", and swi prolog answers
"yes".
anyone has an idea why does it happen?
-- 
View this message in context: http://www.nabble.com/differences-in-implementation-tf4349295.html#a12392044
Sent from the Gnu - Prolog - Users mailing list archive at Nabble.com.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.