Prononciations
-
/pʁɔ.lɔɡ/
Nom propre
Langage de programmation fondé sur le calcul des prédicats du premier ordre.
- Exemples
-
Plus d’exemples (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.