Bonjour,
dans une question d'un exercice sur les listes en Prolog, on nous demande d'écrire les règles nécessaires pour définir le prédicat "member".
Voilà ce que j'ai répondu:
La seconde question est de modifier le prédicat "member" en ajoutant une règle et un argument de façon à obtenir la réponse vrai si un élément donné X appartient à une liste donnée L, et faux sinon.
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2 member(X,[X|_]). member(X,[_|Reste]) :- member(X,Reste).
Pouvez-vous m'aider s'il vous plaît.
Merci.
Partager