← Retour à la recherche

Définition de Prolog | Babel Free

Nom CEFR B1

/\pʁɔ.lɔɡ\/

Définitions

Langage de programmation fondé sur le calcul des prédicats du premier ordre.

Exemples

“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.”

Niveau CECR

B1

Intermédiaire
Ce mot fait partie du vocabulaire CECR B1 — niveau intermédiaire.

Voir aussi

Prologs prologue prologues prolong prolongateur prolongateur d’autonomie