Programowanie w Prologu

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… :)

Jeżeli powyższy artykuł nie rozwiązał lub rozwiązał częściowo Twój problem, dodaj swój komentarz opisujący, w którym miejscu napotkałeś trudności.
Mile widziane komentarze z uwagami lub informacjami o rozwiązaniu problemu.
  • Manacor

    Dzięki, może się przydać :) ogólnie używałem jakiegoś innego narzędzia, ale to się wydaje dużo bardziej logiczne i sprzyjające Linuksowi ;)