First page
Back
Continue
Last page
Graphics
Schématiquement…
-
Le «Core»: sous-ensemble partagée des
langages principaux
-
- «positive Horn» sans fonctions, avec quelque types
de données simples
-
Le «BLD (Basic Logic Dialect)» est du
genre:
-
- «si
condition est vrai alors ceci
est vrai»
- les conditions peuvent inclure des fonctions, des hiérarchies
de classes et de prédicats, égalité
-
Le «PLD (Production Logic Dialect)» est du
genre:
-
- «si
condition est vrai alors fait
quelque chose»