Prolog
LMD-INFO (L3-S5)
Programmation logique: PROLOG
But du cours
Initiation à la programmation en logique : application de certaines notions vues en cours de logique Découverte de la programmation en Prolog: utilisation d'exemples liés aux cours de théorie des langages et d'analyse et compilation.
Plan du cours
I. Introduction à la programmation logique : langage PROLOG II. Principales caractéristiques de ce type de programmation III. Syntaxe et structures de données – opérateur de coupure IV. Sémantique des programmes PROLOG V. Le problème de la négation en PROLOG : l’hypothèse du monde clos et la négation par échec. VI. Utilisation de la méthode de résolution dans l ‘implantation machine de ce type de langage.
Références bibliographiques:
Chazarain, Programmer avec SCHEME . De la pratique à la théorie. Thomson International, 1996. Hoogger. Programmer en logique. Masson, 1987 Weis & Leroy. Le langage CAML. Interéditions, 1993.
K. BELMABROUK
Année universitaire 2009-2010
LMD-INFO (L3-S5)
K. BELMABROUK
I. Introduction à la programmation logique: Langage PROLOG
1. Introduction
La programmation logique est une forme de programmation qui définit les applications à l'aide d'un ensemble de faits élémentaires les concernant et de règles de logique leur associant des conséquences plus ou moins directes. Ces faits et ces règles sont exploités par un démonstrateur de théorème ou moteur d'inférence, en réaction à une question ou requête. La programmation logique est une forme de programmation dont le principe repose sur la définition des règles de logique mathématique au lieu de fournir la séquence d'instructions que l'ordinateur exécuterait.
2. Le modèle logique
Le modèle logique abandonne le principe de la programmation impérative (où le programmeur doit indiquer pas à pas à la machine ce qu'elle doit faire) au profit de la programmation déclarative qui consiste à représenter, via