H-Logic
Statut documentaire : reference — voir Maturité et preuves.
H-Logic est le langage logique de l’hypergraphe conceptuel logiCells. Il complète les déclarations de modèles YAML/XML en exprimant des structures conceptuelles typées, des faits, des règles, des requêtes, des projections et des commandes conceptuelles exécutables.
L’objectif de cette section est pratique : un développeur doit pouvoir écrire, relire, interroger et valider du H-Logic sans devoir déduire sa sémantique depuis les détails internes du moteur.
Parcours recommandé
- Syntaxe de base et termes
- Concepts, instances et interfaces
- Relations, contextes et termes nommés
- Requêtes et quantificateurs
- Modes de requête et portée
- Définitions composites et règles
- Sémantique des résultats et mappings de types
- Patterns testés et formes invalides
- Checklist développeur
Les anciennes pages d’introduction, d’usage et d’exemples restent utiles, mais les pages ci-dessus constituent désormais le parcours de référence orienté développeur.
Note de maturité
La majorité de la syntaxe, le matching homomorphique, l’unification, le décodage de portée, les résultats hérités mappés et les frontières négatives de grammaire ci-dessous sont confirmés par le code/tests courants. L’exécution directe ask resolving reste documentée au niveau architecture tant que son chemin d’intégration n’est pas certifié de bout en bout.