Prolog raczej służy do rozwiązywania zagadek logicznych, np zagadka jak przepłynąć przez rzekę z kurą, workiem zboża i psem (są inne wersje) dysponując łódką na której może znajdować się tylko jeden ładunek, tak aby nikt nie ucierpiał. Prolog podchodzi pod programowanie deklaratywne. Napisanie programu rozwiązującego powyższe zadanie w języku niższego poziomu, np C++, byłoby nieopłacalne(za dużo kodu i nie przydatny wynik programu), więc nawet trudniejsze zadania mogą być realizowane w prologu.
Mnie szczególnie interesuje umiejętność wnioskowania (przedatne przy sztucznej inteligencji).
Przykład:
Facet: Dlaczego nic nie mówisz? - do żony.
Żona: Bo myślę.
Można z tego wywnioskować, że jak kobieta mówi to nie myśli, i ciekawe czy komputer wyciągnąłby z tego coś podobnego.
Ostatnio zainteresowałem się tym językiem programowania, ale nie po to aby w nim kodzić. Chcę poznać zasady działania programowania logicznego.
"a imię jego będzie czterdzieści i cztery"
A. Mickiewicz Dziady cz. III