Discussion :

[xeron33]

bjr à tous et à toutes,
Voilà je dois étudier Prolog pour un examen professionnel et j'ai du mal à comprendre certains algos dont celui-çi :
Ce prédicat meme_maison(X,L1,Y,L2) est vrai si X et Y sont dans la même position dans les listes L1 et L2.Les règles donnent ça :

Code :

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

1
2
3
4
 
 
meme_maison(X,[X|_],Y,[Y|_]). % 1ère règle
meme_maison(X,[_|L1],Y,[_|L2]):-meme_maison(X,L1,Y,L2). % 2ème règle

Pour la 1ère règle j'ai pas de problème à la comprendre mais c'est pour la 2ème que j'aimerais qu'un spécialiste me décompose le fonctionnement car j'ai du mal. D'autre part qui connait les commandes sous GNU Prolog pour Windows permettant de déboguer ?
Merçi

[Isythiel]

Bonjour,

la deuxième commande signifie que :
- tu n'es pas entré dans le premier cas, donc X et Y ne sont pas en première position de liste
- tu fais un appel récursif du prédicat avec les nouvelles listes L1 et L2 en ayant mis de côté le premier élément de chaque liste (X,[_|L1],Y,[_|L2])


Est-ce que je suis claire ? N'hésite pas à me demander de reformuler.

[xeron33]

Bonjour,

la deuxième commande signifie que :
- tu n'es pas entré dans le premier cas, donc X et Y ne sont pas en première position de liste
- tu fais un appel récursif du prédicat avec les nouvelles listes L1 et L2 en ayant mis de côté le premier élément de chaque liste (X,[_|L1],Y,[_|L2])


Est-ce que je suis claire ? N'hésite pas à me demander de reformuler.

Merçi pour ton aide.
Si j'ai bien compris grâce au prédicat meme_maison(X,L1,Y,L2) je relance le prédicat meme_maison(X,[_|L1],Y,[_|L2]). en ignorant la 1ère position et avançant pas à pas dans les 2 listes L1 et L2 . Je viens de tester ça marche même si les listes sont de longueur différente.
Merçi pour ton aide.
A +

[Trap D]

pour le debug, je ne connais pas bien Gnu-Prolog, mais tu as à ta disposition les prédicats trace/notrace et debug.