Aussprachen
-
/pʁɔ.lɔɡ/
Eigenname
Langage de programmation fondé sur le calcul des prédicats du premier ordre.
- Beispiele
-
Weitere Beispiele (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.