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
