Skip to content
EN FR

H-Logic

Documentation status: reference — see Maturity and evidence.

H-Logic is the logical language of the logiCells conceptual hypergraph. It complements YAML/XML model declarations by expressing typed conceptual structures, facts, rules, queries, projections and executable conceptual commands.

The goal of this section is practical: a developer should be able to author, review, query and validate H-Logic without having to infer semantics from engine internals.

  1. Core syntax and terms
  2. Concepts, instances and interfaces
  3. Relations, contexts and named terms
  4. Queries and quantifiers
  5. Query modes and scope
  6. Composite definitions and rules
  7. Result semantics and type mappings
  8. Tested patterns and invalid forms
  9. Developer checklist

The older overview, usage and example pages remain useful, but the pages above define the current developer-oriented reference path.

Maturity note

Most syntax, homomorphic matching, unification, scope decoding, mapped inherited results and negative grammar boundaries below are confirmed by the current source/tests. Direct ask resolving execution is documented as architecture until its integration path is certified end-to-end.