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.

C'est l'un des interpréteurs les plus utilisés sous Linux. Il est développé par l'Université d'Amsterdam. Site officiel

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

Il faut juste installez le paquet swi-prolog :

sudo apt-get install swi-prolog

Utiliser maintenant la commande prolog pour lancer l'interpréteur.

prolog

Il est possible d'installer la coloration syntaxique et l'interpréteur 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))

Voilà, l'interpréteur est installé. Maintenant, pour l'utiliser, ouvrez un fichier avec l'extension .pl, et tapez votre programme Prolog dedans. Pour l'interpréter, allez dans le menu Prolog et cliquez sur Consult file. Une invite apparaît alors en dessous, dans laquelle vous pouvez interroger votre programme Prolog.

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

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

Cela se passe par l'installation du paquet gprolog :

sudo apt-get install gprolog

Utiliser maintenant la commande gprolog pour lancer l'interpréteur :

gprolog

Sicstus Prolog. Cet interpréteur n'est pas libre, mais peut fonctionner sous Linux. Site officiel