Discussion :

[liaram]

bonjour
je viens de commencer avec prolog et j'ai une petite question qui me tourne dans la tete!!
on dit que dans un predicat exple calc(x|L1,x|L2):- calc(L1,L2)
le X ici est un element de la liste.
Ma question est la suivante: si par exemple je définis le predicat suivant
F(L1,L2,L1|L3):-F(L1,L2,L3)
sachant que les Li sont des listes, est-ce que mon predicat est bien défini???

exemple: F([1,2],L2,[1,2,3,4]):-F([1,2],L2,[3,4])

je vous remercie pour vos reponses à l'avance

[Trap D]

Il y a des erreurs de notation (tout au moins avec SWI-Prolog que je connais.
calc(x|L1,x|L2):- calc(L1,L2) doit s'écrire calc([x|L1],[x|L2]):- calc(L1,L2) et sans doute, 'x' devrait s'écrire X car les noms de variable en Prolog commence par une majuscule.

Ma question est la suivante: si par exemple je définis le predicat suivant
F(L1,L2,L1|L3):-F(L1,L2,L3)
sachant que les Li sont des listes, est-ce que mon predicat est bien défini???

exemple: F([1,2],L2,[1,2,3,4]):-F([1,2],L2,[3,4])

Non ton prédicat est mal défini, et d'ailleurs, il n'est pas simple à définir.
Un manière possible de faire est

Code :

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

1
2
3
f(L1,L2,L4):-
  append(L1, L3, L4),
  f(L1,L2,L3)

avec ici un 'f' minuscule !!
La notation [Tete | Queue] permet de définir le premier élément d'une liste et le reste de cette liste, il faut obligatoirement les crochets (avec le SWI-Prolog), le concept est le même que le car cdr du Lisp.

Ici avec [L1 | L2] cela veut dire que la liste L1 est le premier élément de [L1 | L2], donc ça correspond à ce genre de chose [[1,2], 3,4]. où L1 = [1,2] et L2 = [3,4].

[liaram]

Ici avec [L1 | L2] cela veut dire que la liste L1 est le premier élément de [L1 | L2], donc ça correspond à ce genre de chose [[1,2], 3,4]. où L1 = [1,2] et L2 = [3,4].

pour cet exemple c'est evident mais moi je parle du cas où L1=[1,2] et L2=[1,2,3,4] dans ce cas peut on considerer L1 comme debut de L2 (ecrire L1|L2)?????

[Trap D]

pour cet exemple c'est evident mais moi je parle du cas où L1=[1,2] et L2=[1,2,3,4] dans ce cas peut on considerer L1 comme debut de L2 (ecrire L1|L2)?????

Non. L1 peut effectivement être considérée comme le début de L2 (d'où la possibilité du append), mais si tu écris L1 | L2, celà signifie quelque chose de tout à fait différent en SWI-Prolog (tout au moins).
PS : Quel Prolog utilises-tu ?

[liaram]

je n'ai pas encore implementé! je fais un peu de théorie d'abord merci pour ta reponse!