Prolog nom masculin : Langage de programmation fondé sur la logique des prédicats du premier ordre et spécialisé pour l'intelligence artificielle.