Prolog

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.