Sujet RAMEAU de la BNF. · Voir l'autorité matière sur catalogue.bnf.fr
Seules figurent ici les œuvres que la BNF a explicitement rattachées à ce sujet (vedette RAMEAU du dépôt légal). Beaucoup d'ouvrages concernés n'en portent pas : cette liste n'est pas exhaustive.
| Titre | Auteur(s) | Éditeur | Année | Pages |
|---|---|---|---|---|
| Prolog | Louis Gacôgne | Hermann | 2009 | 228 |
| Prolog, tout de suite ! | Johan Bos, Kristina Striegnitz, Patrick Blackburn | College publications |
| 2007 |
| 283 |
| 512 problèmes corrigés | Louis Gacôgne | Ellipses | 1996 | 304 |
| Étude de la compilation des langages logiques de programmation par contraintes sur les domaines finis | Daniel Diaz | INRIA | 1995 | 270 |
| Prolog | Patrick Bellot | Masson | 1994 | 151 |
| Initiation à Prolog en classe de terminale | Institut de recherche sur l'enseignement des mathématiques. Rouen | IREM de Rouen | 1993 | 39 |
| Le langage Prolog | Jacky Legrand | Editions Technip | 1992 | 303 |
| Programmation déclarative et impérative en Prolog | Philippe Collard | Masson | 1992 | 188 |
| Intelligence artificielle en LISP et Prolog | Adil Kabbaj | Masson | 1991 | 330 |
| Traitement du langage naturel et Prolog | Archibald Michiels | impr. Hermes | 1991 | 225 |
| L'art de Prolog | Ehud Y. Shapiro, Leon Sterling, Michel Eytan | Masson | 1990 | 435 |
| Programmer en Prolog | Bernard Loubières, Nigel Ford | Dunod | 1990 | 282 |
| Cours de Prolog avec Turbo Prolog | Jean-Paul Delahaye | Eyrolles | 1988 | 338 |
| Programmation en Prolog pour l'intelligence artificielle | Ivan Bratko, Laurent Ricard | Interéd. | 1988 | 445 |
| Prolog pour l'analyse automatique du langage naturel | Annie Gal, Guy Lapalme, Patrick Saint-Dizier | Eyrolles | 1988 | 168 |
| Prolog, l'implantation | Patrice Boizumault | Masson | 1988 | 303 |
| Initiation à la programmation en PROLOG | Patrick Saint-Dizier | Eyrolles | 1987 | 177 |
| Introduction à Turbo Prolog | Carl Townsend | Sybex | 1987 | 390 |
| Prolog | Allen B. Tucker, Bernard Geoffrion | McGraw-Hill | 1987 | 40 |
| L'Anatomie de Prolog | Michel Van Caneghem | Inter Éditions | 1986 | 191 |
| Outils logiques pour l'intelligence artificielle | Jean-Paul Delahaye | Eyrolles | 1986 | 247 |
| Prolog | Maryse Condillac | Dunod | 1986 | 313 |
| Programmation en logique | Centre national d'études des télécommunications. Centre de Lannion. France. Côtes-du-Nord, Mehmet Dincbas, Serge Bourgault | CNET | 1985 | 416 |
| Programmer en Prolog | Anne Kruchten, Christopher S. Mellish, Philippe Kruchten, William F. Clocksin | Eyrolles | 1985 | 303 |
| LISP et PROLOG en classe terminale | Jean-Paul Roy | Institut de recherche sur l'enseignement des mathématiques, Université Paris VII | 1984 | 103 |
| Le Langage D-Prolog | Philippe Donz, Rosalie Hurtado | Éditests | 1984 | 220 |
