Prolog

nom masculin

(abréviation de programmation en logique)

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