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. _______________________________________________ Users-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/users-prolog
