Définitions›Prolog

Prolog

nom propre masculin
/pʁɔ.lɔɡ/
  1. Langage de programmation fondé sur le calcul des prédicats du premier ordre.C’est donc cette version extrêmement simplifiée de SL-Resolution (que nous venons de décrire formellement) qui fut adoptée et qui continue d’être la base de tous les Prologs.
SynonymesSynonymes de Prologmots de sens proche Dictionnaire de rimesRimes avec Prologrimes riches, suffisantes et pauvres

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.