Syntaxe H-Logic

Statut documentaire : reference — voir Maturité et preuves.

La référence de syntaxe est maintenant découpée en pages ciblées afin de ne pas mélanger règles de grammaire, sémantique des requêtes et formes négatives.

Utiliser Syntaxe de base et termes pour les définitions, rôles, attributs et commandes ; Relations, contextes et termes nommés pour ::, & et les rôles de contexte ; et Patterns testés et formes invalides pour les frontières de grammaire.