Prolog
 
Encyklopedia PWN
Prolog
[fr. programmation en logique],
inform. język programowania wysokiego poziomu, oprac. we Francji (1977); najbardziej znany przykład języka programowania w logice (służący do programowania zagadnień, które najlepiej ujmuje się w języku logiki);
wyrósł z tzw. automatyki dowodzenia twierdzeń mat.; używany przede wszystkim do programowania zagadnień sztucznej inteligencji i systemów eksperckich.
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia