Programowanie w języku logiki - PROLOG cz. 1

PROLOG jest językiem nietypowym, programowanie w nim przypomina bardziej rozmowę niż operowanie nazwami zastrzeżonymi czy rozkazami jak w BASIC-u i PASCAL-u. Służy on do przetwarzania języków naturalnych, list danych itp... Szczególnie nadaje się do budowania inteligentnych baz danych o dostępie w języku naturalnym, kompilatorów, systemów strategicznych, języków problemowych czy programów sprawdzających poprawność dowodów twierdzeń.

(...)