Un langage de programmation utilisé pour exprimer des programmes en matière de contrôle des constructions et un calcul des prédicats restreint ; par exemple, prologue.