Prolog

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

Il existe plusieurs interpréteur de Prolog sur Linux.

C'est l'un des interpreteurs les plus utilisé sous linux. Site officiel

Il faut juste installez le paquet swi-prolog :

sudo apt-get install swi-prolog

Utiliser maintenant la commande swiprolog pour lancer l'interpreteur.

swiprolog

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. Site officiel

Cela se passe par l'installation du paquet gprolog :

sudo apt-get install gprolog

Utiliser maintenant la commande gprolog pour lancer l'interpreteur.

gprolog