Cardinal direction: nine base directions, each an [east-west north-south] pair of
point relations, four derived predicates, and the calculus and prover over
vaelii.impl.qcn-kb. vaelii.impl.projection computes composition and converse from
the projection table. See docs/space.md.
Cardinal direction: nine base directions, each an `[east-west north-south]` pair of point relations, four derived predicates, and the calculus and prover over `vaelii.impl.qcn-kb`. `vaelii.impl.projection` computes composition and converse from the projection table. See docs/space.md.
The nine base directions: the universe of the algebra.
The nine base directions: the universe of the algebra.
Base direction keyword → the binary predicate a fact about it is stored under.
Base direction keyword → the binary predicate a fact about it is stored under.
The cardinal directions as a vaelii.impl.qcn-kb calculus.
The cardinal directions as a `vaelii.impl.qcn-kb` calculus.
The composition of two direction sets, computed axis-wise.
The composition of two direction sets, computed axis-wise.
The converse of a direction set: both axes flipped.
The converse of a direction set: both axes flipped.
Each base direction as its [x y] projection: x the east-west relation of the target,
y the north-south one.
Each base direction as its `[x y]` projection: x the east-west relation of the target, y the north-south one.
The cardinal directions as a vaelii.impl.qcn relation algebra.
The cardinal directions as a `vaelii.impl.qcn` relation algebra.
Every direction predicate, the nine base and the four derived, mapped to the set of base directions it denotes.
Every direction predicate, the nine base and the four derived, mapped to the set of base directions it denotes.
(orientation-prover)The cardinal-direction entailment prover, which vaelii.core/add-reasoner registers as
:cardinal.
The cardinal-direction entailment prover, which `vaelii.core/add-reasoner` registers as `:cardinal`.
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 |