Discussion :

[Pierre Cormault]

Après avoir consulté tous les tutoriels, tous les cours, tous les forums, je demeure rétif au sens profond de Prolog.
Comment utiliser en pratique le concept de liste ?
Voici 3 évaluations d'assertions en SWI-Prolog:

1 ?- member(1,[1,2,3,4]).
Pas de surprise. la réponse 'Yes' arrive bien.

2 ?- append([1,2,3,4],[],L).
Pas de surprise non plus.
Prolog unifie la variable L et la liste [1,2,3,4]

L = [1,2,3,4]

mais maintenant tout se gâte !

3 ?- member(5, L).

L = [5|_G305]
Yes

Je n'ai donc rien compris !
La valeur prise par la variable L n'est donc pas [1,2,3,4] ??
Cette question même a-t-elle un sens ?

[pcaboche]

Après avoir consulté tous les tutoriels, tous les cours, tous les forums, je demeure rétif au sens profond de Prolog.

Ne t'inquiète pas, moi non plus je n'aimais pas beaucoup Prolog avant, et maintenant j'écris des articles dessus (que tu as certainement dû lire si tu as fait les tour de tous les tutoriels).


Quelques petites précisions sur member/2: member/2 permet d'énumérer 1 à 1 les éléments d'une liste. Si tu fais member(M,[1,2,3,4]), M prendra comme valeur successivement 1,2,3 et 4.

Pour vérifier qu'un élément est membre d'une liste, il vaut mieux utiliser memberchk/2 (qui ne laisse pas de point de choix).

L'opération member(5, L). n'a pas vraiment de sens.

Pour plus d'info, en swi-prolog:

Code :

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

1
2
apropos( member ).
apropos( memberchk ).

Un article sur les listes est prévu pour plus tard.

[Leichmann]

La réponse de PROLOG est tout à fait normale, il faut se dire qu'en PROLOG, il n'y a pas de mémorisation des variables.

2 ?- append([1,2,3,4],[],L).

L = [1,2,3,4]


3 ?- member(5, L).

L = [5|_G305]
Yes

Ce n'est pas le meme L que celui du 2, et L=[5 | _G305] veut dire que L est la liste qui commence par 5. _G305 est un renommage interne de PROLOG, _G305 peut s'unifié soit avec [] soit avec une liste d'au moins un élément.

[Pierre Cormault]

La réponse de PROLOG est tout à fait normale, il faut se dire qu'en PROLOG, il n'y a pas de mémorisation des variables.

Aïe ! Dans ce cas, comment se référer à une liste d'atomes déterminés, autrement qu'en énumérant ladite liste ?
Il doit bien exister une solution plus pratique ?

[billynirvana]

Prolog est un langage de parcours et de construction d'arbres!

Ce n'est pas un langage ordinaire tel le C ou le JAVA!

Même si il est possible d'assigner des valeurs à des variables, c'est totalement déconseillé!

Utilisant la syntaxe de Marseille (la vraie!), je ne peux guère t'aider dans ton problème...

[pcaboche]

La réponse de PROLOG est tout à fait normale, il faut se dire qu'en PROLOG, il n'y a pas de mémorisation des variables.

En effet, je n'avais pas compris le problème de Pierre Cormault comme cela (pour le non-débutant, il est évident que ce n'est pas la même variable L, car 2 éxécutions différentes).

En fait, il faut faire:

Code :

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

1
2
|?- append([1,2,3,4],[],L),
member(4, L).

Et là, c'est bien le même L (par unification).

[Pierre Cormault]

Merci à mes interlocuteurs, et tout particulièrement à pcaboche, l'auteur des 2 documents ("Le langage prolog", et "Résolution d'un sudoku") qui m'ont donné l'idée et l'envie d'utiliser Prolog dans un programme de bridge, afin de pouvoir distribuer des donnes ou des mains satisfaisant à des contraintes pré-exprimées.
Mon intervention dans le forum démontrait ma totale ignorance du langage. Je prenais en effet une bibliothèque de procédures (un fichier file.pl) pour un programme, au motif que l'ensemble des procédures y figurant se trouvaient compilées en un seul 'consult(file.pl). J'y voyais donc des variables globales !
Après quelques lectures, mon ignorance est désormais un peu moins grande, comme le montre l'extrait ci-dessous testant en SWI-Prolog un prédicat do_donne qui distribue et analyse les 4 mains d'une donne de bridge:

% c:/Program Files/pl/cards.pl compiled 0.00 sec, 18,152 bytes
1 ?- do_donne.
--------------- NORD ---------------
XP 3P VC 7C 2C DT XT 8T 4T DK VK 6K 3K
Cette main comporte 2 Piques
Cette main comporte 3 Coeurs
Cette main comporte 4 Carreaux
Cette main comporte 4 Trèfles
Cette main comporte 6 PH
--------------- EST ---------------
AP 2P 8C 6C 5C 3C RT 5T RK XK 9K 5K 2K
Cette main comporte 2 Piques
Cette main comporte 4 Coeurs
Cette main comporte 5 Carreaux
Cette main comporte 2 Trèfles
Cette main comporte 10 PH
--------------- SUD ---------------
DP 7P 5P 4P AC 9C 4C AT VT 9T 6T 8K 7K
Cette main comporte 4 Piques
Cette main comporte 3 Coeurs
Cette main comporte 2 Carreaux
Cette main comporte 4 Trèfles
Cette main comporte 11 PH
--------------- OUEST ---------------
RP VP 9P 8P 6P RC DC XC 7T 3T 2T AK 4K
Cette main comporte 5 Piques
Cette main comporte 3 Coeurs
Cette main comporte 2 Carreaux
Cette main comporte 3 Trèfles
Cette main comporte 13 PH
Yes
2 ?-

Désormais, je peux aborder la P.L.C
Si quelqu'un d'entre vous est intéressé par la question, qu'il m'adresse un mail privé; je serais heureux de partager ma toute nouvelle expérience.

[pcaboche]

Merci à mes interlocuteurs, et tout particulièrement à pcaboche, l'auteur des 2 documents ("Le langage prolog", et "Résolution d'un sudoku") qui m'ont donné l'idée et l'envie d'utiliser Prolog dans un programme de bridge

Et bien merci ! Ca fait plaisir d'avoir des retours de la part des lecteurs et de savoir que les articles ainsi rédigés ont pu aider quelqu'un à mieux comprendre Prolog (et même lui donner envie de l'utiliser).

D'autres articles sont en cours de validation ou d'écriture, afin d'approfondir le sujet...

PS: L'article "Le langage prolog" a été mis à jour dernièrement.