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