GNU/Linux >> Linux Esercitazione >  >> Linux

Programmazione Prolog in Ubuntu

Personalmente uso gprolog o swipl nell'ambiente interpretato. Quindi scrivi fatti e regole in un file mydb.pl e apri l'interprete nella stessa directory. Una volta visualizzato il prompt, puoi eseguire una query

['mydb.pl'].

per caricare il database. ora puoi vedere gli avvisi\errori o iniziare a interrogare dall'interprete prolog.


Sì, puoi utilizzare qualsiasi editor di testo, incl. VIM. Dopo aver scritto un file sorgente Prolog, diciamo, file.pl , puoi caricarlo in SWI-Prolog in questo modo:

swipl -s file.pl

Questo compilerà il tuo file e ti porterà in una shell interattiva dove potrai quindi fare query sulle definizioni nel tuo file.

Se vuoi usare il tuo programma Prolog in modalità batch, puoi usare:

swipl -s file.pl -t goal

dove goal è l'obiettivo/query che vuoi valutare. Tieni presente che in questo caso non avrai la possibilità di chiedere soluzioni alternative.


Su Ubunutu, ho iniziato usando emacs, che almeno evidenzia la sintassi:

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

(2 suggerimenti emacs su quella pagina ^)

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

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

Particolarmente utile è il debug e la traccia riga per riga in tempo reale, in modo da poter entrare, scavalcare singoli predicati, monitorare i nomi delle variabili ecc. proprio come un altro IDE reale che potresti trovare in Eclipse.

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

Ma se ti piacciono i tuoi editor di basso livello come VIM, dovrai usare gli strumenti di debug e traccia incorporati in swi-prolog, vedi:

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

Per capire come funziona lo strano e bellissimo interprete prolog, usare un tracciante di qualche tipo è un must.


Linux
  1. Come aggiungere un file di scambio su Ubuntu

  2. Come installare g++ su Ubuntu

  3. Ubuntu Linux - VHDX condiviso

  4. cp -L contro cp -H

  5. Il tempo di accesso al file non si aggiorna in Ubuntu 12.04

Come rinominare i file in Ubuntu 20.04

Come installare Monitorix su Ubuntu 16.04

Come estrarre un file RAR su Ubuntu

Come aggiungere un file di scambio su Ubuntu 20.04

Come installare il linguaggio di programmazione Go su Ubuntu 20.04

Perché è così difficile trovare un file in Ubuntu?