web-dev-qa-db-fra.com

Programmation Prolog dans Ubuntu

J'ai un intérêt à jouer et à jouer avec prolog, j'ai installé le prolog swi et ajouté le référentiel, juste au cas où quelqu'un serait intéressé par les commandes que j'ai utilisées:

% Sudo apt-add-repository ppa:swi-prolog/stable
% Sudo apt-get update
% Sudo apt-get install swi-prolog

Comment est-ce que je commence réellement à écrire des codes de prologue sur ma machine Linux? pour ma programmation habituelle, j'utilise VIM pour écrire/éditer/déboguer et un terminal pour compiler. Puis-je utiliser vim pour écrire prolog? Comment puis-je compiler ou utiliser l'interpréteur de prologue (je pense que c'est ainsi qu'il s'appelle)? 

28
octain

Oui, vous pouvez utiliser n’importe quel éditeur de texte, incl. VIM. Une fois que vous avez écrit un fichier source prolog, par exemple, file.pl, vous pouvez le charger dans swi-prolog comme suit:

swipl -s file.pl

Ceci compilera votre fichier et vous mènera à un shell interactif où vous pourrez ensuite poser des requêtes sur les définitions de votre fichier.

Si vous souhaitez utiliser votre programme de prologue en mode batch, vous pouvez utiliser:

swipl -s file.pl -t goal

goal est l'objectif/la requête que vous souhaitez évaluer. Notez que dans ce cas, vous n'aurez pas la possibilité de demander des solutions alternatives.

38
Christian Fritz

Sur Ubunutu, j'ai commencé à utiliser emacs, qui met au moins en évidence la syntaxe:

http://www.swi-prolog.org/FAQ/GnuEmacs.html

(2 suggestions emacs sur cette page ^)

Mais maintenant, j'utilise prolog dans la colère, j'utilise un plugin Eclipse appelé PDT:

http://sewiki.iai.uni-bonn.de/research/pdt/docs/v2.1/start

Les opérations de débogage et de suivi ligne par ligne en temps réel sont particulièrement utiles. Vous pouvez ainsi vous familiariser avec les prédicats individuels, surveiller les noms de variables, etc., tout comme un autre IDE réel que vous trouverez dans Eclipse.

Cela ne vaut probablement que l'installation ne vaut que si vous l'utilisez BEAUCOUP, car l'installation demande beaucoup de travail, mais c'est un excellent IDE.

Mais si vous aimez vos éditeurs de bas niveau comme VIM, vous devrez utiliser les outils de débogage et de suivi intégrés à swi-prolog, voir:

http://www.swi-prolog.org/pldoc/man?section=debugger

Pour comprendre le fonctionnement de cet étrange et magnifique interprète de prologue, il est indispensable d'utiliser un traceur.

10
magus

J'utilise personnellement gprolog ou swipl dans l'environnement interprété . Vous écrivez donc des faits et des règles dans un fichier mydb.pl et ouvrez l'interpréteur dans le même répertoire . 

['mydb.pl'].

pour charger votre base de données. vous pouvez maintenant voir les warnings\errors ou lancer une requête depuis l’interpréteur de prologue.

1
majik