Prolog (PROgrammation en LOGique) to język programowania logicznego, który odwraca typowy model programowania do góry nogami. Zamiast pisać instrukcje krok po kroku, opisujesz fakty i reguły, a potem zadajesz pytania. System sam znajduje odpowiedzi przez mechanizm unifikacji i backtrackingu. To nie jest język, w którym “mówisz komputerowi co ma zrobić” — to język, w którym “mówisz komputerowi co jest prawdą”, a on sam wymyśla jak to wykorzystać.

Prolog jest jednym z najstarszych wciąż aktywnych języków programowania (powstał w 1972 roku!) i jedynym językiem logicznym, który osiągnął realną adopcję poza środowiskiem akademickim. Był fundamentem japońskiego projektu Fifth Generation Computer Systems, jest używany w systemach eksperckich, NLP, bioinformatyce, i w wielu niszach, gdzie deklaratywne podejście do problemów ma sens.

Dlaczego warto go poznać? Bo Prolog uczy Cię myśleć inaczej. Większość języków to wariacje tego samego modelu imperatywnego — Prolog to zupełnie inna planeta. I nawet jeśli nigdy nie napiszesz produkcyjnego kodu w Prologu, sposób myślenia, który z niego wyniesiesz, uczyni Cię lepszym programistą w każdym innym języku.

Spis treści

Krótka historia i ewolucja

Prolog narodził się w 1972 roku na Université d’Aix-Marseille, za sprawą Alaina Colmerauera i Philippe’a Roussela. Początkowo był narzędziem do przetwarzania języka naturalnego — Colmerauer pracował nad systemami tłumaczącymi i potrzebował języka, który mógłby elegancko wyrażać reguły gramatyczne. Logika formalna okazała się idealnym fundamentem.

Kluczowym momentem było stworzenie efektywnej implementacji przez Davida H.D. Warrena na University of Edinburgh w 1977 roku. Warren’s Prolog (DEC-10 Prolog) udowodnił, że programowanie logiczne może być wydajne — nie tylko eleganckie, ale też szybkie. To otworzyło drogę do komercyjnych zastosowań.

Lata 80. to złoty okres Prologa, napędzany japońskim projektem Fifth Generation Computer Systems (FGCS), który miał zbudować “inteligentne komputery” oparte na logice. FGCS ostatecznie nie spełnił ambicji, ale dał Prologowi ogromny zastrzyk finansowy i badawczy. W tym okresie powstały dziesiątki implementacji: SWI-Prolog, SICStus, Quintus, LPA Prolog, i wiele innych. Dziś SWI-Prolog jest de facto standardem, aktywnie rozwijanym i używanym w produkcji.

Kluczowe cechy i filozofia

Prolog operuje na trzech mechanizmach: fakty (facts), reguły (rules), i zapytania (queries). Fakty to proste stwierdzenia (“Jan jest rodzicem Ani”). Reguły to implikacje logiczne (“X jest dziadkiem Y, jeśli X jest rodzicem Z, a Z jest rodzicem Y”). Zapytania to pytania do systemu (“Czy Jan jest dziadkiem Ani? Kto jest dziadkiem Ani?”).

Unifikacja to serce Prologa. To mechanizm dopasowywania wzorców (pattern matching) na sterydach — nie tylko sprawdza, czy dwie wartości są równe, ale potrafi też “zgadywać” wartości zmiennych, by dopasowanie było spełnione. W połączeniu z backtrackingiem (systematycznym przeszukiwaniem możliwości) daje to potężny mechanizm rozwiązywania problemów.

Prolog jest językiem deklaratywnym w teorii, ale z praktycznymi odstępstwami. Operator “cut” (!), arytmetyka (is), i side effects (write, assert) to elementy imperatywne, które są niezbędne w praktyce, ale naruszają czystość deklaratywną. To kompromis, który sprawia, że Prolog jest użyteczny, ale też sprawia, że “czysty Prolog” i “realny Prolog” to dwa różne zwierzęta.

System typów w Prologu jest… nieistniejący. Prolog jest dynamicznie typowany w najbardziej liberalnym sensie — wszystko jest termem. Atomy, liczby, zmienne, struktury złożone — wszystko jest termem. To daje ogromną elastyczność (metaprogrammowanie jest naturalne), ale też sprawia, że błędy typów wykrywasz w runtime, nie w compile time.

Gdzie Prolog sprawdza się najlepiej

Prolog błyszczy tam, gdzie problem można opisać jako zbiór relacji i reguł. NLP (parsowanie gramatyk, szczególnie z DCG — Definite Clause Grammars), systemy eksperckie (diagnostyka medyczna, troubleshooting), constraint solving (z bibliotekami CLP — Constraint Logic Programming), bioinformatyka (analiza sekwencji, pathways), i verification (formalna weryfikacja protokołów).

Jednym z najbardziej znanych zastosowań Prologa jest Watson — system IBM, który wygrał w Jeopardy! w 2011 roku, używał Prologa jako jednego z komponentów do przetwarzania języka naturalnego. To pokazuje, że Prolog nie jest tylko akademicką ciekawostką — w odpowiedniej niszy jest niezastąpiony.

Współcześnie Prolog jest też używany w testowaniu i weryfikacji — np. do generowania test cases przez constraint solving, do modelowania protokołów sieciowych, i do analizy reguł biznesowych. Firmy takie jak Cisco używały Prologa do konfiguracji routerów, a systemy prawne używają go do modelowania regulacji.

Jak wygląda kod w Prolog

% Fakty
parent(tom, bob).
parent(tom, liz).
parent(bob, ann).
parent(bob, pat).
parent(pat, jim).

% Reguły
grandparent(X, Y) :- parent(X, Z), parent(Z, Y).
sibling(X, Y) :- parent(P, X), parent(P, Y), X = Y.

% Zapytania
?- grandparent(tom, ann).
true.

?- grandparent(tom, X).
X = ann ;
X = pat.

Klasyczny przykład genealogiczny. Definiujesz fakty (kto jest czyim rodzicem) i reguły (co to znaczy być dziadkiem, rodzeństwem), a potem zadajesz pytania. System sam znajduje odpowiedzi przez unifikację i backtracking.

% Quicksort w Prologu
quicksort([], []).
quicksort([Pivot|Rest], Sorted) :-
    partition(Rest, Pivot, Smaller, Larger),
    quicksort(Smaller, SortedSmaller),
    quicksort(Larger, SortedLarger),
    append(SortedSmaller, [Pivot|SortedLarger], Sorted).

partition([], _, [], []).
partition([H|T], Pivot, [H|Smaller], Larger) :-
    H =< Pivot, partition(T, Pivot, Smaller, Larger).
partition([H|T], Pivot, Smaller, [H|Larger]) :-
    H > Pivot, partition(T, Pivot, Smaller, Larger).

Quicksort w Prologu — deklaratywny opis algorytmu. Zauważ, że partition nie “zwraca” wyników — unifikuje je z argumentami. To fundamentalnie inny model od imperatywnego “return”.

Ekosystem i narzędzia

SWI-Prolog to dominująca implementacja — aktywnie rozwijana, z bogatą biblioteką standardową, wsparciem dla HTTP, JSON, RDF, i wieloma innymi. Ma wbudowany edytor (PceEmacs), profiler, debugger, i IDE (SWI-Prolog IDE). To jedyna implementacja Prologa, którą można traktować poważnie w kontekście produkcyjnym.

Inne ważne implementacje to SICStus Prolog (komercyjna, bardzo wydajna, używana w przemyśle), GNU Prolog (open source z kompilacją do natywnego kodu), i Tau Prolog (JavaScript, do uruchamiania w przeglądarce). Każda ma swoje nisze i zalety.

Biblioteki CLP (Constraint Logic Programming) to killer feature ekosystemu Prologa. CLP(FD) dla finite domains, CLP(R) dla liczb rzeczywistych, CLP(B) dla boolean — te biblioteki przekształcają Prologa w potężny solver constraints, który potrafi rozwiązywać problemy, dla których tradycyjne algorytmy wymagałyby tysięcy linii kodu.

Społeczność Prologa jest mała, ale aktywna. SWI-Prolog ma forum, Reddit r/prolog jest umiarkowanie aktywny, a konferencje takie jak ICLP (International Conference on Logic Programming) regularnie publikują nowe badania.

Mocne i słabe strony

Mocne strony Prologa to przede wszystkim deklaratywność. Opisujesz CO chcesz, nie JAK to osiągnąć — i w wielu przypadkach system znajduje rozwiązanie, na które sam byś nie wpadł. Unifikacja + backtracking to genialny mechanizm do przeszukiwania przestrzeni rozwiązań. Pattern matching na termach jest potężniejszy niż w jakimkolwiek innym języku. CLP to game-changer dla problemów kombinatorycznych.

Słabe strony? Prolog ma fatalną reputację wśród osób, które nauczyły się go źle (a większość kursów uczy go źle). Brak systemu typów oznacza, że błędy wykrywasz późno. Wydajność bywa problemem — backtracking może eksplodować wykładniczo dla źle sformułowanych problemów. I/O i side effects są “nieczyste” i naruszają deklaratywność. No i krzywa uczenia się — Prolog wymaga fundamentalnej zmiany myślenia, co dla wielu osób jest barierą nie do pokonania.

Podsumowanie

Prolog to język, który powinien znać każdy poważny programista — niekoniecznie do codziennej pracy, ale do poszerzenia horyzontów. Sposób myślenia, który Prolog wymusza — deklaratywny, relacyjny, oparty na constraints — jest bezcenny i przenosi się na każdy inny język, którego używasz.

Zacznij od SWI-Prolog. Przerób “The Art of Prolog” (Sterling, Shapiro) albo “Prolog Programming for Artificial Intelligence” (Bratko). A potem spróbuj CLP(FD) i zobacz, jak elegantcko można rozwiązywać problemy, które w innych językach wymagałyby setek linii kodu. Prolog nie jest dla każdego, ale jeśli “kliknie” — zmieni Twój sposób myślenia o programowaniu na zawsze.