Prolog (od francuskiego Programmation en Logique) to język programowania logicznego - program w Prologu to opis reguły wnioskowania oraz celu do którego zmierzamy, a rola komputera polega na odpowiednim zastosowaniu reguł aby znaleźć rozwiązanie.

Aby móc kompilować reguły, a następnie wysyłać zapytania, potrzebny jest odpowiedni kompilator:

sudo apt-get install swi-prolog

Teraz stwórz jakiś plik z regułami np. p1.pl.
Umieść w nim zbiór reguł:

krawedz(a,b).
krawedz(a,c).
krawedz(b,e).
krawedz(c,f).
krawedz(c,e).
jest_droga(X,X).
jest_droga(X,Y) :- krawedz(X,Z), jest_droga(Z,Y).

I zapisz plik (CTRL+S)

Teraz w terminalu przejdź do katalogu, w którym znajduje się stworzony plik i wydaj polecenie:

swipl

Jeśli zobaczysz:

? -

To znaczy, że wszystko działa, skompiluj plik:

[p1].

Powodzenie zostanie odnotowane:

% p1 compiled 0.00 sec, 1,120 bytes
true.

I możesz wysyłać zapytania:

jest_droga(b,d).

Efekt:

false.

Drogi nie ma...

Zobacz także:

• Flex SDK, czyli ActionScript3 na Ubuntu
• Tworzenie diagramu ER z kodu SQL
• Geany – lekkie zintegrowane środowisko programistyczne
• Eclipse – instalacja i przygotowanie do pracy z językiem C/C++
• Obsługa PHP4/PHP5 na własnym serwerze

Tagi: instalacja, Programowanie