Pronúncias
-
/pʁɔ.lɔɡ/
Nome próprio
Langage de programmation fondé sur le calcul des prédicats du premier ordre.
- Exemplos
-
Mais exemplos (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.