GNU/Linux >> Znalost Linux >  >> Linux

Programování Prolog v Ubuntu

Osobně používám gprolog nebo swipl v interpretovaném prostředí. Takže napíšete fakta a pravidla do souboru mydb.pl a otevřete interpret ve stejném adresáři. Jakmile se zobrazí výzva, můžete se zeptat

['mydb.pl'].

pro načtení vaší databáze. nyní můžete buď vidět varování\chyby, nebo začít dotazovat z interpretu prologu.


Ano, můžete použít jakýkoli textový editor, vč. VIM. Jakmile napíšete zdrojový soubor Prologu, řekněme file.pl , můžete jej načíst do SWI-Prolog takto:

swipl -s file.pl

Tím se zkompiluje váš soubor a přenese vás do interaktivního shellu, kde se pak můžete ptát na definice ve vašem souboru.

Pokud chcete používat svůj program Prolog v dávkovém režimu, můžete použít:

swipl -s file.pl -t goal

kde goal je cíl/dotaz, který chcete vyhodnotit. Všimněte si, že v tomto případě nebudete mít možnost požádat o alternativní řešení.


Na Ubunutu jsem začal používat emacs, který alespoň zvýrazňuje syntaxi:

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

(2 návrhy emacs na této stránce ^)

Ale teď v hněvu používám prolog, používám plugin Eclipse s názvem PDT:

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

Obzvláště užitečné je ladění a trasování řádek po řádku v reálném čase, takže můžete vstupovat, překračovat jednotlivé predikáty, sledovat názvy proměnných atd., stejně jako jiné skutečné IDE, které byste našli v Eclipse.

Pravděpodobně se vyplatí instalovat pouze v případě, že jej budete HODNĚ používat, protože instalace je hodně pracná, ale je to skvělé IDE.

Ale pokud máte rádi své nízkoúrovňové editory, jako je VIM, budete muset použít nástroje pro ladění a sledování zabudované do swi-prologu, viz:

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

Chcete-li zjistit, jak funguje zvláštní a krásný tlumočník prologů, musíte použít nějaký sledovač.


Linux
  1. Jak nainstalovat g ++ na Ubuntu

  2. Ubuntu Linux – sdílené VHDX

  3. cp-L vs. cp-H

  1. Jak přidat odkládací soubor na Ubuntu

  2. Ubuntu – Odinstalování souboru *.run?

  3. Doba přístupu k souboru se v ubuntu 12.04 neaktualizuje

  1. Jak změnit název hostitele na Ubuntu 18.04

  2. Když spustitelné soubory nejsou?

  3. VIM:jak přejít na přesnou linku na Ubuntu