Prolog Programmazione in Ubuntu

Question

ho un interesse in gioco e Fuxing con prologo, ho installato lo swi-prolog e ha aggiunto il repository, nel caso in cui qualcuno è interessato su cui comanda quello che ho usato:

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

Come inizio effettivamente a scrivere i codici prolog sulla mia macchina Linux? per la mia programmazione regolare uso VIM per scrivere/modificare/debug e terminale per compilare. Posso usare vim per scrivere prolog? Come faccio a compilare o usare l'interprete prolog (penso che sia quello che viene chiamato)?

Answer 1

Sì, è possibile utilizzare qualsiasi editor di testo, incl. VIM. Una volta che hai scritto un file sorgente Prolog, diciamo, file.pl, è possibile caricare in swi-prolog in questo modo:

swipl -s file.pl 

Questo compilerà il file e vi porterà ad una shell interattiva in cui è possibile poi chiedere query le definizioni nel tuo file.

Se si desidera utilizzare il programma di Prolog in modalità batch, è possibile utilizzare:

swipl -s file.pl -t goal 

dove goal è l'obiettivo/query che si desidera valutare. Nota che in questo caso non avrai la possibilità di chiedere soluzioni alternative.

Answer 2

Su Ubunutu, ho iniziato ad usare Emacs, che almeno non l'evidenziazione della sintassi:

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

(2 emacs suggerimenti su quella pagina ^)

Ma ora io uso prologo con rabbia, io uso un plugin Eclipse chiamato PDT:

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

Particolarmente utile è il real-tim e linea per linea debug e trace, così puoi entrare, scavalcare i singoli predicati, monitorare i nomi delle variabili ecc. proprio come un altro IDE reale che troverai in eclissi.

Probabilmente vale la pena installarlo solo se lo si utilizzerà molto, poiché l'installazione richiede molto lavoro, ma è un ottimo IDE.

Ma se vi piace il vostro editor di basso livello come VIM, si dovrà utilizzare il debug e strumenti costruiti in swi-prolog rintracciare, vedi:

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

di capire come lo strano e bello interprete prolog funziona, utilizzando un tracciante di qualche tipo è un must-have.