Version du 21.11.96
Enoncé du problème
est_liste([X,Y]).
Règles:
est_liste([X,_|Y]) :- est_liste([_|Y]).
est_liste([]) :- est_liste([X=:=0,Y=:=0]).
est_liste([X]) :- est_liste([X,Y=:=0]).
Questions: Réponses obtenues
?-est_liste(a). no
?-est_liste([]). yes
?-est_liste([a, b, c]). yes
?-est_liste(.(a, b)). no