Apportez votre aide…
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.
SWI-Prolog
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.
Installation
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
Utilisation avec Emacs
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 éditez votre fichier ~/.emacs pour y ajouter les lignes suivantes :
- ~/.emacs
;; 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.
GNU Prolog
Un autre interpréteur similaire à SWI-Prolog. Celui-ci est développé par l'INRIA. Site officiel
Capacités : il 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'interpréteur :
gprolog
TkECLiPSe
TkECLIPSe est un logiciel open-source pour le développement et le déploiement des applications de programmation par contraintes.
Il est idéal pour l'enseignement des aspects de problèmes combinatoires. Il contient plusieurs bibliothèques.
Grâce à son interface graphique, il est très pratique pour programmer en Prolog.
Installation
Commencez par choisir votre version : Distribution. Sélectionner le dossier adapté à votre architecture système : x86_64_linux. Puis télécharger l'archive : http://eclipseclp.org/Distribution/Current/6.1_168_x86_64_linux/eclipse_basic.tgz.
mkdir eclipse_basic tar -zxvf eclipse_basic.tgz -C eclipse_basic cd eclipse_basic/
Pour vérifier le type de votre architecture :
./ARCH
Puis lancez l'installation :
./RUNME
Le programme va vous demander où installer le programme et l'emplacement de votre JRE.
Une fois l'installation terminée, le message suivant s'affichera :
ECLiPSe installation done. You should now add $ECLIPSEDIR/bin/i386_linux to your PATH environment variable.
Pour cela, tapez la commande suivante en remplaçant $ECLIPSEDIR par le répertoire adéquat (exemple : /home/bob/eclipse_basic)
export PATH=$PATH:$ECLIPSEDIR/bin/i386_linux
Utilisation
Sisctus Prolog
Sicstus Prolog. Cet interpréteur n'est pas libre, mais peut fonctionner sous Linux. Site officiel