NOM PROPRE:org
/pʁɔlɔɡ/
Syllabes : pʁɔ.lɔɡ
Orthocode : pro.log
Définitions
-
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.
Étymologie
Mot-valise de programmation et logique.
Hyperonymes
Formes fléchies
| Forme | Phonétique | Traits | Syllabes | Orthocode |
|---|---|---|---|---|
| prolog | /pʁɔlɔɡ/ | propre | pʁɔ.lɔɡ | pro.log |