Prolog

Prolog (ėš pranc. programmation en logique) - pruogramavėmo kalba skėrta dėrbtėnio ėntėlėkto ė ekspermėntėniū sistiemū programavėmou. Kalba 1972 sokūrė Alain Colmerauer.