Cette page est en cours de rédaction.
Apportez votre aide…

Ceci est une ancienne révision du document !


Prolog

Prolog est l’un des principaux langages de programmation logique. Pour plus d'informations, allez sur Wikipedia.

Il existe plusieurs interpréteurs de Prolog sur Linux.

Attention! Des différences d'interprétation du code Prolog peuvent exister d'un interpréteur à l'autre. C'est le cas par exemple entre SWI-Prolog et Sicstus Prolog lors de l'utilisation de la programmation logique par contrainte.

C'est l'un des interpreteurs les plus utilisé sous linux. Il est développé par l'Université d'Amsterdam. Site officiel

Capacités : Possède un débuggeur graphique ainsi que plusieurs solveurs de contraintes.

Installation

Il faut juste installez le paquet swi-prolog :

sudo apt-get install swi-prolog

Utiliser maintenant la commande swiprolog pour lancer l'interpreteur.

swiprolog

Utilisation avec Emacs

Il est possible d'installer la coloration syntaxique et l'interpreteur dans Emacs. Commencez d'abord par installer le paquet prolog-el :

sudo apt-get install prolog-el

Ensuite ouvrez votre fichier .emacs :

gedit ~/.emacs

pour y ajouter les lignes suivante :

;; Ajout du mode Prolog
(autoload 'run-prolog "prolog" "Start a Prolog sub-process." t)
(autoload 'prolog-mode "prolog" "Major mode for editing Prolog programs." t)
(autoload 'mercury-mode "prolog" "Major mode for editing Mercury programs." t)
(setq prolog-system 'swi)
(setq auto-mode-alist (append '(("\\.pl$" . prolog-mode)
                            ("\\.m$" . mercury-mode))
                           auto-mode-alist))

Voila, l'interpreteur est installé. Maintenant, pour l'utiliser, ouvrez un fichier avec l'extension .pl, et tapez votre programme Prolog dedans. Pour l'interpreter, allez dans le menu Prolog et cliquez sur Consul file. Une invite apparait alors en dessous, dans laquelle vous pouvez interroger votre programme Prolog.

Un autre interpreteur similaire a SWI-Prolog. Celui-ci est développé par l'INRIA. Site officiel

Capacités : Propose un solveur de contraintes sur domaine fini.

Installation

Cela se passe par l'installation du paquet gprolog :

sudo apt-get install gprolog

Utiliser maintenant la commande gprolog pour lancer l'interpreteur.

gprolog
  • prolog.1211225821.txt.gz
  • Dernière modification: Le 18/04/2011, 14:47
  • (modification externe)