thank you for the bug report. Will be fixed soon.
Daniel Le 29/03/2012 17:24, phi16 a écrit :
I think the following dialogue is a bug: | ?- member(3,X),member(2,X),member(3,X). X = [3,2|_] ? ; X = [3,2,3|_] ? ; X = [3|_] ? ; X = [3,3|_] ? ; X = [3,_,3|_] ? ; X = [3,_,_,3|_] ? ; X = [3,_,_,_,3|_] ? The input tells the list named X must contain 2. But the 3rd output shows there is possible that X does not contain 2. Thank you for viewing. _______________________________________________ Bug-prolog mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-prolog
-- Ce message a ete verifie par MailScanner pour des virus ou des polluriels et rien de suspect n'a ete trouve. _______________________________________________ Bug-prolog mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-prolog
