NOM PROPRE
/pʁɔlɔɡ/
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.']
Formes fléchies
| Forme | Phonétique | Traits | Syllabes |
|---|---|---|---|
| prolog | /pʁɔlɔɡ/ | Np |