Prolog Programowanie w Ubuntu

Question

mam interes w grze i fuxing z prologu, mam zainstalowany swi-prolog i dodawane do repozytorium, tylko w przypadku gdy ktoś jest zainteresowany, na których jeden nakazuje użyłem:

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

Jak mogę zacząć pisać kody prologów na moim komputerze? dla mojego regularnego programowania używam VIM do zapisu/edycji/debugowania i terminalu do kompilacji. Czy mogę użyć vima do napisania prologu? Jak mogę skompilować lub użyć interpretera prologu (myślę, że tak to się nazywa)?

Answer 1

Tak, można użyć dowolnego edytora tekstu, w tym. KRZEPKOŚĆ. Po wpisaniu pliku źródłowego prolog, powiedzmy, file.pl można załadować go do swi-prolog tak:

swipl -s file.pl 

To będzie skompilować plik i przeniesie Cię do interaktywnej powłoki, gdzie można następnie zadawać pytania przed definicje w twoim pliku.

Jeśli chcesz korzystać z programu prolog w trybie wsadowym, można użyć:

swipl -s file.pl -t goal 

gdzie goal jest cel/kwerendy chcesz ocenić. Zauważ, że w tym przypadku nie otrzymasz opcji żądania alternatywnych rozwiązań.

Answer 2

Na Ubunutu zacząłem wyłączyć za pomocą Emacs, który przynajmniej robi podświetlanie składni:

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

(2 emacs sugestie na tej stronie ^)

Ale teraz używam prolog w gniewie, używam plugin o nazwie Eclipse PDT:

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

Szczególnie użyteczny jest rzeczywistym tim e debugowanie i śledzenie linii po linii, dzięki czemu można krokować, przechodzić przez poszczególne predykaty, monitorować nazwy zmiennych itp., tak jak inne prawdziwe IDE, które można znaleźć w czasie zaćmienia.

Prawdopodobnie warto tylko zainstalować, jeśli zamierzasz go używać dużo, ponieważ instalacja wymaga dużo pracy, ale to świetne IDE.

Ale jeśli lubisz niskie edytor poziomów jak VIM, trzeba będzie użyć debugowania i narzędzi wbudowanych w SWI Prolog śladowych, patrz:

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

Aby dowiedzieć się, jak dziwne i piękne prolog interpreter działa, używając jakiegoś znacznika jest koniecznością.