طرق النطق
-
/pʁɔ.lɔɡ/
اسم علم
Langage de programmation fondé sur le calcul des prédicats du premier ordre.
- أمثلة
-
أمثلة إضافية (1)
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.