Пролог је програмски језик који је развио Алаин Цолмераур и његове колеге са Универзитета у Марсеју 1972. године. Пролог се обично користи за АИ, а за разлику од других програмских језика, Пролог се темељи скуп правила уместо инструкција.
АИ, термини вештачке интелигенције, скраћенице рачунара, програмска логика, програмски термини