Discussion :

[Alp]

Bonjour,

Après une pause, je me remets à ce langage. Je n'ai pas perdu grand chose mais je ne sais plus trop quoi apprendre. Bien sûr, il y a la pratique. Ecrire des algos de résolution basés sur les contraintes, etc.

Mais je voudrais tout de même savoir s'il n'y a pas un livre de référence sur Prolog ? Pour ceux qui savent, je veux bien savoir pour français et anglais.

[Trap D]

C'est une des références : The Art of Prolog Sterling et Shapiro chez Masson.

Tu as aussi cette liste

Introductory


+ "Programming In Prolog". William F. Clocksin and Christopher
S. Mellish. Springer-Verlag, 2003 (5th ed).
+ "Prolog Programming for Artificial Intelligence". Ivan Bratko.
Addison-Wesley, 2001 (3rd ed).


Advanced


+ "The Art of Prolog: Advanced Programming Techniques". Leon
Sterling and Ehud Shapiro. MIT Press, 1994 (2nd ed).
+ "The Craft of Prolog". Richard A. O'Keefe. MIT Press, 1990.


Logic programming theory


+ "Foundations of Logic Programming". John Lloyd.
Springer-Verlag, 1988 (2nd ed).
+ "Logic, Programming and Prolog". Ulf Nilsson and Jan
Maluszynski. Originally published by John Wiley & Sons Ltd
(2nd ed. 1995) but now available without charge from
http://www.ida.liu.se/~ulfni/lpp


Expert Systems


+ "Building Expert Systems in Prolog". Dennis Merritt.
Springer-Verlag, 1989. HTML & PDF versions available from
http://www.amzi.com/ExpertSystemsInProlog

extraite de ce site

[Alp]

Merci.

Prolog for AI je l'avais repéré et il m'intéresse assez sérieusement

Mais il n'y a aucun livre en français sur Prolog, alors qu'il a été créé ici ?

[Eusebius]

Salut,
Je ne connais pas de ref en français.

Je trouve celui-là intéressant, peut-être plus pour apprendre le langage que pour la théorie sous le capot :
Learn Prolog Now! (alias LPN!)
de Blackburn, Bos et Striegnitz

Il est à la fois dispo en ligne et en version papier (15 euros sur amazon...).

Point intéressant, il y a beaucoup d'exercices corrigés (enfin, possible que les corrigés ne soient que dans la version papier par contre), ainsi que des espèces de sujets de TP. Apparemment il a pas mal de succès.

Je ne connais que le premier des trois auteurs, mais c'est par ailleurs une référence en logique modale.

[Alp]

Salut,
Je ne connais pas de ref en français.

Je trouve celui-là intéressant, peut-être plus pour apprendre le langage que pour la théorie sous le capot :
Learn Prolog Now! (alias LPN!)
de Blackburn, Bos et Striegnitz

Il est à la fois dispo en ligne et en version papier (15 euros sur amazon...).

Point intéressant, il y a beaucoup d'exercices corrigés (enfin, possible que les corrigés ne soient que dans la version papier par contre), ainsi que des espèces de sujets de TP. Apparemment il a pas mal de succès.

Je ne connais que le premier des trois auteurs, mais c'est par ailleurs une référence en logique modale.

Je le connais celui-là, et je le trouve assez sympa.

Mais je voulais savoir ce que vous utilisiez vous, comme référence, en version papier.

en tout cas pour toutes ces infos