For Programmers: Free Programming Magazines  


Home > Archive > Prolog > August 2005 > Bug on XSB prolog???









You are viewing an archived Text-only version of the thread. To view this thread in it's original format and/or if you want to reply to this thread please [click here]

 

Author Bug on XSB prolog???
Ha

2005-08-30, 6:58 pm

Hi,

We have tried to use XBS to test one of our scenarios.
However, the result is not what we expect. The program
is trimed down as follow:

p :- sk_not(q).
q :- sk_not(p).

XSB is supposed to answer 'undefined' for both p and q
according to the WF semantics. But XSB answers 'yes'.
Have anyone found the same problem? or we have had
wrong configurations/versions? We are using XBS 2.7.1.

Regards,
Ha

Sponsored Links







Also available: Server administration forum archive | Web Design forum archive | Software forum archive | Hardware reviews archive

Copyright 2008 codecomments.com