Re: erroreProlog?

Dario Bianchi (bianchi@Attila.CE.UniPR.IT)
Mon, 12 May 1997 16:18:50 +0200 (MET DST)

> file: cut/es4.pl
> ************* Qui semplicemente manca l'indicazione di commento ****
> /* appartenenza ad una lista */
> membro(X,[X|_]).
> membro(X,[_|Y]) :- membro(X,Y).
>
> /* appartenenza ad una lista - deterministico*/
> membro1(X,[X|_]) :- !.
> membro1(X,[_|C]) :- membro1(X,C).
>
> /* possibili goal:
>
> ?- membro(y,[a,y,b,y]).
>
> La avviso che il Prolog risponde "No" diversamente dalla soluzione.
>
>

Grazie per la segnalazione. Provvedo a correggere il file.
Bianchi

+------------------------------------+----------------------------------------+
| Dario Bianchi |
| Dipartimento di Ingegneria dell'Informazione phone +39 521 905734 |
| Universita' degli Studi di Parma fax +39 521 905723 |
| 43100 Parma - Italy E-mail bianchi@ce.unipr.it |
+------------------------------------+----------------------------------------+