Re: I think I have found a bug in list processing

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.