The CoreContext ontology — Vaelii's vocabulary microtheory. It defines and
documents the core predicates the engine interprets, as sentexes in CoreContext:
the special-predicate surface (types/contexts, argIsa, disjoint, the set/*Rule
wrappers, the predicate metadata, negation, ist, the evaluables) and the
predicate meta-ontology. Documentation rides on comment sentexes,
(comment <term> "...") — ordinary sentexes (stored, indexed, queryable) — so the
KB documents itself in its own representation.
The content is a KB file, resources/kb/CoreContext.txt (read by
vaelii.impl.seed); this namespace loads it and reads the docs back.
CoreContext is the spindle head: the root every context sees, and the only
layer a core-only KB has. The layers below it — the definitional upper
contexts (between Core and Universe) and the theory middle contexts (between
Universe and Well) — are the starter's, not the core KB's, and each wires itself
into the spindle in its own KB file (see vaelii.impl.starter).
The CoreContext ontology — Vaelii's vocabulary microtheory. It defines and documents the core predicates the engine interprets, as sentexes in CoreContext: the special-predicate surface (types/contexts, argIsa, disjoint, the `set/*Rule` wrappers, the predicate metadata, negation, `ist`, the evaluables) and the predicate meta-ontology. Documentation rides on `comment` sentexes, `(comment <term> "...")` — ordinary sentexes (stored, indexed, queryable) — so the KB documents itself in its own representation. The content is a KB file, `resources/kb/CoreContext.txt` (read by vaelii.impl.seed); this namespace loads it and reads the docs back. CoreContext is the spindle **head**: the root every context sees, and the only layer a core-only KB has. The layers below it — the definitional `upper` contexts (between Core and Universe) and the theory `middle` contexts (between Universe and Well) — are the starter's, not the core KB's, and each wires itself into the spindle in its own KB file (see vaelii.impl.starter).
(comment-of kb term)The documentation string(s) attached to term via comment sentexes.
The documentation string(s) attached to `term` via comment sentexes.
(load-into kb)Assert the CoreContext vocabulary into kb from its KB file
(resources/kb/CoreContext.txt). Returns kb.
The one sentence asserted before the file is the topology edge
(genlContext UniverseContext CoreContext), and it is here rather than in the file
because of when it has to hold. A decontextualizedPredicate declaration lifts
the facts already present into UniverseContext, and a rule stated in CoreContext
fires on the copy — so the two contexts must already be comparable, or that firing
has no placement and the conclusion is lost. The file is read term-centrically in
natural sort order, which would put genlContext after functional, making which
meta-ontology conclusions survive a function of predicate spelling. Asserted first,
it cannot be.
Assert the CoreContext vocabulary into `kb` from its KB file (resources/kb/CoreContext.txt). Returns kb. The one sentence asserted **before** the file is the topology edge `(genlContext UniverseContext CoreContext)`, and it is here rather than in the file because of *when* it has to hold. A `decontextualizedPredicate` declaration lifts the facts already present into UniverseContext, and a rule stated in CoreContext fires on the copy — so the two contexts must already be comparable, or that firing has no placement and the conclusion is lost. The file is read term-centrically in natural sort order, which would put `genlContext` after `functional`, making which meta-ontology conclusions survive a function of predicate spelling. Asserted first, it cannot be.
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |