język programowania logicznego, używany między innymi przy tworzeniu sztucznej inteligencji
Warianty
prolog II
Prolog
Kwalifikacja tematyczna
CZŁOWIEK I TECHNIKA
Urządzenia i maszyny
komputery/informatyka
Cytaty
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ć.