The named points of a temporal thing, and the order the terms themselves fix among
them — what the point network (vaelii.impl.point) adds to the instant facts it reads.
Every temporal thing has six points, each a structural unreifiable_function
application naming the thing it belongs to:
(StartFn X) (EndFn X) its start and end (EarliestStartFn X) (LatestStartFn X) where the start can fall (EarliestEndFn X) (LatestEndFn X) where the end can fall
None of them is stored or minted. A point becomes a node of the instant network when an instant fact or a goal mentions it, and a thing any of whose points is a node brings its start and end in with it, so a question about when a story's event ended is asked of the network even when nothing stated that end.
constraints-over is the network's second reader (qcn-kb, :over-nodes): a function
of the node set alone, answering the constraints the terms fix and nobody states.
ES ≤ S ≤ LS, EE ≤ E ≤ LE, S < E, ES ≤ EE and
LS ≤ LE, over whichever of them are nodes. S < E gives every thing extent.(InstantFn …) term and a point term name a moment, and
each of a moment's six points is the moment itself. The reader decides which
arguments are moments by their spelling alone. A symbol argument is a thing, even
one a time_point membership calls a moment. Dropping S < E when a membership
arrived would loosen a pair, and a narrowing only narrows (docs/qcn.md). So a symbol
moment has no points, and stating that its start and end coincide with it is an
inconsistency the network reports with those two facts as culprits.(InstantFn …) term, and a point of a calendar term — the
start or end of (YearFn 2008) — is a moment the calendar places. Those the network
mentions are sorted by their fields and each is ordered against the next, so
(EndFn (YearFn 2008)) falls before (InstantFn 2009 1 20 12 0 0) with nothing
stated. A calendar term's bounds are sharp, so its earliest and latest start are its
start, and likewise for its end.The constraints carry no support: what fixes them is the terms, and no retraction can move them. An entailment that needs one of them still rests on the stated facts it also needed, which are the handles a justification names.
The named points of a temporal thing, and the order the terms themselves fix among them — what the point network (`vaelii.impl.point`) adds to the instant facts it reads. Every temporal thing has six points, each a structural `unreifiable_function` application naming the thing it belongs to: (StartFn X) (EndFn X) its start and end (EarliestStartFn X) (LatestStartFn X) where the start can fall (EarliestEndFn X) (LatestEndFn X) where the end can fall None of them is stored or minted. A point becomes a node of the instant network when an instant fact or a goal mentions it, and a thing any of whose points is a node brings its start and end in with it, so a question about when a story's event ended is asked of the network even when nothing stated that end. `constraints-over` is the network's second reader (`qcn-kb`, `:over-nodes`): a function of the node set alone, answering the constraints the terms fix and nobody states. * **One thing's points.** `ES ≤ S ≤ LS`, `EE ≤ E ≤ LE`, `S < E`, `ES ≤ EE` and `LS ≤ LE`, over whichever of them are nodes. `S < E` gives every thing extent. * **A moment's points.** An `(InstantFn …)` term and a point term name a moment, and each of a moment's six points is the moment itself. The reader decides which arguments are moments by their spelling alone. A symbol argument is a thing, even one a `time_point` membership calls a moment. Dropping `S < E` when a membership arrived would loosen a pair, and a narrowing only narrows (docs/qcn.md). So a symbol moment has no points, and stating that its start and end coincide with it is an inconsistency the network reports with those two facts as culprits. * **Calendar moments.** An `(InstantFn …)` term, and a point of a calendar term — the start or end of `(YearFn 2008)` — is a moment the calendar places. Those the network mentions are sorted by their fields and each is ordered against the next, so `(EndFn (YearFn 2008))` falls before `(InstantFn 2009 1 20 12 0 0)` with nothing stated. A calendar term's bounds are sharp, so its earliest and latest start are its start, and likewise for its end. The constraints carry **no support**: what fixes them is the terms, and no retraction can move them. An entailment that needs one of them still rests on the stated facts it also needed, which are the handles a justification names.
(constraints-over nodes)The constraints the point terms among nodes fix, as {:net … :support {}} in the
point algebra's relations, or nil when they fix none. Each thing any of whose points
is a node brings its start and end in, and each moment any of whose points is a node
brings itself in, transitively for a point of a point.
The constraints the point terms among `nodes` fix, as `{:net … :support {}}` in the
point algebra's relations, or nil when they fix none. Each thing any of whose points
is a node brings its start and end in, and each moment any of whose points is a node
brings itself in, transitively for a point of a point.(moment x)The six calendar fields of the moment x names, or nil when the calendar does not
place it: an (InstantFn …) term, or a point of a calendar term.
The six calendar fields of the moment `x` names, or nil when the calendar does not place it: an `(InstantFn …)` term, or a point of a calendar term.
(node-term? x)A term the point network takes as a node: an instant named by a symbol, a point of a thing, or a calendar moment.
A term the point network takes as a node: an instant named by a symbol, a point of a thing, or a calendar moment.
(point which thing)The term naming which point of thing — :start, :end, :earliest-start …
The term naming `which` point of `thing` — `:start`, `:end`, `:earliest-start` …
Each point function, and which of a thing's bounds it names.
Each point function, and which of a thing's bounds it names.
(point-term? x)Is x a ground application of one of the six point functions?
Is `x` a ground application of one of the six point functions?
(thing-of x)The thing a point term belongs to, or nil for any other term.
The thing a point term belongs to, or nil for any other term.
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 |