Utiliser H-Logic

Statut documentaire : reference — voir Maturité et preuves.

Utiliser H-Logic lorsque le problème nécessite des relations conceptuelles explicites, des contraintes, de la dérivation ou du raisonnement plutôt qu’un simple accès à des champs SDK.

Le flux développeur est : définir concepts et rôles, établir les faits, ajouter règles/contraintes visibles, choisir un mode de raisonnement, limiter la portée, exécuter la requête puis consommer les valeurs conceptuelles retournées sans perdre leur identité ni leurs mappings de types.

Poursuivre avec Modes de requête et portée, Sémantique des résultats et mappings de types et la checklist développeur.