Prolog

Prolog (franc. Programmation en Logique) - język programowania wysokiego poziomu, przystosowany zwłaszcza do "uczenia go" nowych reguł logicznych (gramatycznych) zadawanych przez programistę; powstał we Francji na Uniwersytecie w Marsylii; jest uważany za język programowania przyszłych komputerów.