Aucun titre de diapositive

N.Kabachi
PROLOG :
PROgrammation en LOGique
” Programmer c'est Démontrer ”

N.Kabachi
BIBLIOGRAPHIE
Programmation :
1. ” Programming in Prolog ”, Springer
Verlag, 1981, W.F.Clocksin & al.
Traduction Francaise :” Programmer en Prolog”
Editions Eyrolles, 1985.
2. ” Prolog”, InterEditions, 1985, F. Giannesini,
H. Kanoui, R. Pasero, M. Van Caneguem.
3. ” Prolog Programming for artificial intelligence”,
Addisson Wesley Pub. Comp., 1986, I. Bratko
Théorie et implémentation :
1. ” Logic for Problem Solving ”, Elsevier North
Holland, 1979, R.A. Kowalsky
2. ” Anatomie de Prolog”, InterEditions, 1986, M. Van
Caneguem.
3. ” Introduction to Logic Programming ”, Academic
Press, 1985, C.J. Hogger. ”
Ouvrages de Synthèses :
1. ” Prolog fondements et Applications ”, AFCET, 1985,
Dunod, Condillac.
2. ” The Art of Prolog, Advanced Programming
Techniques”, M.I.T. Press, 1986, L. Sterling, E. Shapiro.

N.Kabachi
HISTORIQUE
1972 : Prolog I
Alain COLMERAUER (Université Aix-Marseille)
(découverte de la programmation logique et premier interpréteur)
et
Robert A. KOWALSKY (Edinburgh University)
(cadre théorique et premier compilateur)
1982 : Prolog II
M. Van Caneguem, et al.
(base du programme japonais de 5ème génération, version améliorée
commercialisée par Prolog IA)
EXPLOSION : Plusieurs Prolog, Plusieurs Machines
(Avec peu de nouveautes)
- Prolog/CENT -> Prolog-P
- Foll-Prolog
- Prolog- CRISS
- Xlog ou XILog
- Hybrides : LisLog, POPLog, -Prolog, etc..
1990 : Prolog III
Jacky LEGRAND Le langage PROLOG TECHNIP, etc...
1996 : Prolog IV -> SWI-Prolog
Jan Wielemaker, University of Amsterdam, The Netherlands
(Version 3.1, 1998, [email protected].uva.nl)

N.Kabachi
APPLICATIONS
- Prolog Vendors Group (Boeing, Dassault, IBM, Siemens, ...)
- Compulog Net (ESPRIT Network of Excellence in Compu. Logic)
- Conférences Practical Applications of Prolog
PRODUITS
standard ISO
Turbo Prolog (Borland)
IF-Prolog (Siemens Nixdorf)
Delphia Prolog (Siglos)
Prolog III (PrologIA)
Visual Prolog (Prolog Development Center A/S)
BIM Prolog (Integral Solutions Limited)
Win-Prolog (Logic Programming Associates)
PDC Prolog (Prolog Development Center)
Quintus Prolog (AI International Limited)
SWI-Prolog (Dept.of Social Science Informatics)

N.Kabachi
LES DIFFERENTS MODES DE
PROGRAMMATION
L'exécution d'une tâche par une machine nécessite sa programmation,
quelques soient les techniques utilisées et les surenchères de
vocabulaire associées.
La programmation logique constitue une révolution dans le domaine
difficile d'en faire la description en se référant à des structures usuelles
LA PROGRAMMATION IMPERATIVE
•Nécessite l'expression, par le détail, du "comment ».
•Traduction d'une démarche algorithmique où le passage des données
vers les résultats est décrit comme une suite d'actions.
LA PROGRAMMATION FONCTIONNELLE
•Description du résultat comme une composition de fonctions, agissant
sur les objets. Relève aussi d'un mode de pensée algorithmique.
•Connue par Lisp, le langage de prédilection des premiers chercheurs
en Intelligence Artificielle.