Ubuntu-fr

Flavio_dev

Prolog et Emacs

Bonjour,
j'ai installé un utilistaire pour faire du prolog. J'ai installé le paquet prolog-el, et tous les paquets qui en découlent (emacs ... ). Mais je ne sais pas comment compiler mon prolog ni comment lancer mes programmes. J'ai aussi effectué cette commande, trouvé sur ce site :

http://gnubuntu.free.fr/?m=200705

Mais malhuereusement, la commande "prolog" n'existe pas sous mon terminal, en rrot ou utilisateur normal.

Que dois-je faire pour que cela fonctionne?

Merci d'avance...

Flavio_dev

Dernière modification par Flavio_dev (Le 30/11/2007, à 20:12)

nono75

Re : Prolog et Emacs

Salut,
prolog-el est le mode prolog pour emacs, l'éditeur de texte le plus puissant du monde,(ceci n'est pas un  troll  )
Ce n'est donc pas un interpréteur. D'après mes souvenirs il existe plusieurs implémentations de prolog.
Les deux principales sont (je te donne les noms des paquets) :
swi-prolog - Prolog interpreter
gprolog - GNU Prolog compiler
Tu as aussi des paquets te permettant d'installer la documentation, ce qui est toujours utile.

Il existe d'autres programmes étendant prolog, notamment pour faire de la Programmation Par Contraintes (PPC):
eclipse, sisctus-prolog .... Je ne pense pas qu'il y ait de paquets pour ceux-là.

Si tu souhaites faire de la PPC, il existe d'autres solveurs codés en C++, JAVA ....

Dernière modification par nono75 (Le 30/11/2007, à 23:09)

obiwankennedy

Re : Prolog et Emacs

Perso j'utilise gprolog (sur mon pc perso et à  ma fac en france)

sudo apt-get install gprolog

apres pour le lancer tu tape "gprolog" dans un terminal donc tu arrives dans un prompt
tu tapes

consult('tonfichier.pl').

et voilà  ton programme est consulté (on peut pas vraiment parler de compilation en prolog.)

---

Dans mes logiciels, j'écris ton nom.
SGNGD: SvgGd is Not GD
Rolisteam

nono75

Re : Prolog et Emacs

En réactivant ma mémoire, j'utilisais aussi gprolog.

et voilà  ton programme est consulté (on peut pas vraiment parler de compilation en prolog.)

On ne parle pas de compilation puisque prolog est un langage interprété

Flavio_dev

Re : Prolog et Emacs

Merci beaucoup pour cette réponse complete. Je me suis donc décidé à  utiliser swi, puisque je ne suis pas le seul à  travailler sur du prolog, et que les autres travaillent avec swi. En revanche, bien que Emacs doit etre tres puissant, j'aimerais savoir en quoi Emacs et prolog-el m'aide! J'ouvre Emacs, j'ouvre mon fichier... et j'ai donc mon code .pl... N'y a t'il pas moyen d'avoir une coloration syntaxique (non présente sous Gedit) ? Et il y a des options style "compile" qui a mon avis semble etre interessantes... je vais regarder des tuto...

Merci encore, et si vous voyez un moyen rapide pour la prise en main de Emacs, n'esitez pas à  me faire part de vos tuyaux...

Flavio_dev

nono75

Re : Prolog et Emacs

Salut,

As-tu activé la coloration syntaxique de manière global ?
Es-tu sur d'être en mode prolog quand tu édites ?

Sinon regarde ces page :
http://turing.ubishops.ca/home/bruda/emacs-prolog/
http://rainbow.i3s.unice.fr/~mosser/doku/tutoriels:emacs:config

Quelques conseils sur mon wiki :
http://www.emn.fr/x-info/amalap06/wiki/doku.php?id=unix:emacs

Il faut souvent ajouter quelques lignes dans ton .emacs pour activer totalement les modes.
Bonne chance.

Dernière modification par nono75 (Le 03/12/2007, à 15:10)

Flavio_dev

Re : Prolog et Emacs

merci a toi, je ragarderai ca de plus pres sous peu... Je repost si problemes. Merci encore

Flavio_dev

AuraHxC

Re : Prolog et Emacs

Ca fonctionne pour moi, merci bien nono75