Discussion :

[McPandou]

Bonjour,

Je débute en Prolog et dans le cadre de mon projet j'ai besoin de manipuler des listes.

J'aurai sans doute plusieurs questions mais tout d'abord je bloque sur cela:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
verbeAvancer(["avance"]).
motDirection(["devant"]).
requeteAvancer([T|Q]) :- verbeAvancer([T]), direction([Q]).
direction([X|_]) :- motDirection([X]).

en testant séparément (sous swi-prolog) les requetes verbeAvancer et direction cela fonctionne.
en revanche en tapant: requeteAvancer(["avance", "devant"]).
je récupère false :/

Merci d'avance.

[Trap D]

Normal !!!
Avant que je te donnes la solution réfléchis à ce que signifie la notation
L = [H|T].
Si tu connais Lisp, H est le car de L et T le cdr.
Attention, tu utilises les string, cela complique plutôt les choses, (car ce sont des listes de caractères, et tu ne manipule pas encore bien les listes), utilises des atomes avance et devant.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
verbeAvancer([avance]).
motDirection([devant]).
requeteAvancer([T|Q]) :- verbeAvancer([T]), direction(Q).
direction([X|_]) :- motDirection([X]).

[McPandou]

Merci de ta réponse rapide.

Alors tout d'abord non je ne connais pas Lisp.
J'ai à peu près compris le principe de Prolog, mais l'utilisation de listes me déroute un peu ..

Pour moi L = [H|T] signifie que L est une liste ayant pour tête H et pour queue T, est-ce exact ?

J'ai testé sans les string et effectivement celà fonctionne, je pense donc y revenir lorsque j'aurais bien compris la logique des listes !

[Trap D]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

i L = [H|T] signifie que L est une liste ayant pour tête H et pour queue T, est-ce exact ?

Exact, mais il ne faut pas oublier que T est une liste...