Prolog

Support de cours PROGRAMMATION LOGIQUE : 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

en logique e e une fonction peut ˆtre vue comme une preuve d’une propri´t´ e ee de la forme ∀x.∃y .P(x, y ) Prolog est un d´monstrateur de th´or`mes e e e (= Coq) un programme ≡ des axiomes et des r`gles (clauses) e addright(nil,X,cons(X,nil)). addright(cons(A,B),X,cons(A,Z)) :- addright(B,X,Z) rev(nil,nil). rev(cons(X,Y),Z) :- rev(Y,W), addright(W,X,Z) le :- se lit ⇐ Prolog, “ex´cutions” d’un programme e addright(nil,X,cons(X,nil)). addright(cons(A,B),X,cons(A,Z)) :- addright(B,X,Z)

également rapportée. La communication comporte également quelques éléments relatifs à la motivation des étudiants et la remédiation des erreurs dans une démarche semi-automatique associant les enseignants. RÉSUMÉ MOTS-CLÉS : algorithmique, programmation, Prolog, programmation déclarative, récursivité, évaluation, auto-évaluation, indicateur, diagnostic, rétroaction, correction de copies, correction automatique, jeux d’essai, test, mise en place, collaboratif, acteur, apprenant, enseignant. Introduction

PROgrammation LOGique Prolog: l’histoire ECLiPSe Programmation declarative Deux exemples de programme Syntaxe de Prolog Sémantique (opérationnelle) de Prolog Les nombres en Prolog Résumé • Les origines du Prolog (vers 1970): • A. Colmerauer et al., Univ. d’Aix-Marseille. Un système de communication homme-machine en français • R. A. Kowalski, Imperial College, London. Predicate logic as a programming languages • L’age d’or (1982-1992): projet de recherche “Ordinateurs de 5ème génération” au Japon

la quantification universelle sur la conjonction et de la quantification existentielle sur la disjonction 17 8 Formes prénexes 18 9 Formes de Skolem 20 10 Formes clausales et théorème de Herbrand 21 11 Le mécanisme de Prolog 23 2 Ce cours a été rédigé assez rapidement, merci de me signaler les erreurs, pour les versions ultérieures. 1 Introduction Le calcul des propositions est bien trop limité pour décrire des situations réelles. En effet il ne permet

Licence informatique 2001 / 2002 Programmation fonctionnelle et logique Programmation fonctionnelle et logique --Dossier sur PROLOG Dossier sur PROLOG Martin Ludovic Dossier sur PROLOG Table des matières Table des matières I. La programmation logique ........................................................................................................................ 1 I.1. Un mode de programmation à part ..................................................................

Introduction à la programmation logique en PROLOG II+ Mahieddine DJOUDI Email : mahieddine.djoudi@free.fr Web : http://mahieddine.djoudi.free.fr Table des matières 1 Introduction à Prolog.......................................................................... 6 1.1 1.2 1.3 1.4 1.5 Prolog c'est quoi? .................................................................................................................6 Repères historiques .......................................................

Logique : PROLOG MASTER 1 TNSID ISTV Université de Valenciennes et du Hainaut-Cambrésis E. ADAM Introduction • 1971 : création de Prolog par A. Colmerauer et P. Roussel à Luminy, suite à des travaux sur la détection automatique • 1972, PROLOG I • 1975, fin premier manuel PROLOG I • 1977, premier compilateur PROLOG (Warren) • 1978, multiplication des compilateurs PROLOG • 1983, • machine abstraite (WAM) PROLOG (Warren) => – Quintus-Prolog, SB-Prolog, SWI-Prolog, GNU-Prolog, … • PROLOG II ->

de domaines d’applications différents. Par ailleurs, un programme n’est autre qu’un ensemble d’instructions élémentaires, écrites dans un langage de programmation reconnu par l’ordinateur (exemple : Basic, Pascal, Cobol, Fortran, Ada, Lisp, Prolog, et la liste est encore longue). Pour exécuter un programme, l’ordinateur suit invariablement les étapes suivantes : 1 Aller chercher, en mémoire principale, l’instruction dont l’adresse est dans l’unité de commande, puis la ranger

Au cours du développement du programme nous avons rencontré différentes difficultés. La première étant l’implémentation du prédicat itintard. En effet, il nous a fallu considérer le parcours en partant de la fin, c'est-à-dire de la destination pour finalement remonter jusqu'à la station de départ. Ceci a engendré un problème que nous n’avons pas pu résoudre, qui se produit lors de l’utilisation du prédicat itintard, le programme n’affiche, en effet, pas la dernière ligne à emprunter