Tangente Hors-série. N° 15. Vol. 2. p. 14-16. Programmer en logique : le Prolog.
Auteur : Delerue Nicolas
Résumé
Les logiciens disposent d’un langage de programmation spécifique pour écrire des programmes proches des formulations qu’ils utilisent usuellement : le prolog. L’auteur de cet article présente ce langage qui repose sur la théorie des clauses de Horn.
Notes
Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : Logique et informatique dans Tangente Hors-série n° 15 – Vol. 2. La logique.
Il est également paru dans l’ouvrage Bibliothèque Tangente n° 15 – La logique.
Données de publication
Éditeur Editions POLE Paris , 2003 Format A4, p. 14-16
ISSN 1294-9949
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type article de périodique ou revue, vulgarisation, popularisation Langue français Support papier
Classification