PROLOG

Warsztat budowy systemów eksperckich dysponuje dwojakiego rodzaju pomocami. Stanowią je języki programowania wysokiego rzędu (np. języki manipulacji na symbolach, takie jak: PROLOG, LISP, PROGRAPH, BLISS, INTRLISP, FLAVORS, CLOS, POPLOG) lub narzędzia inżynierii wiedzy [...].

źródło: NKJP: Czesław Domański (red.): Statystyczne systemy ekspertowe, 1998

Jednym z tych zabiegów jest metoda rezolucji (Robinsona), którą wykorzystuje między innymi takie znane narzędzie sztucznej inteligencji, jak język PROLOG. Metoda ta, a także kilka innych, pozwalają dzisiaj na dość swobodne automatyczne dowodzenie twierdzeń - jakkolwiek tylko w niektórych działach matematyki.

źródło: NKJP: Ryszard Tadeusiewicz: Automatyczne dowodzenie twierdzeń, Dziennik Polski, 2008-09-12

Notacja konstruktorów listy została zaczerpnięta z języka programowania logicznego Prolog [...].

źródło: NKJP: Maciej Piasecki: Model znaczenia polskiej frazy rzeczownikowej, maszynopis

[...] czy jest na forum ktoś, kto potrafi programować w prologu? Mam problem z zadaniem i nie wiem, jak się do tego zabrać.

źródło: Internet: forum.omegaklub.eu