The arity family: a tuple whose length breaks the length a reader binds its functor
to, and two predicates a genl edge relates whose own lengths differ, each placed as a
conclusion (chain/place-arities!). See docs/nmtms.md, "A nogood placed as a
conclusion".
The arity family: a tuple whose length breaks the length a reader binds its functor to, and two predicates a `genl` edge relates whose own lengths differ, each placed as a conclusion (`chain/place-arities!`). See docs/nmtms.md, "A nogood placed as a conclusion".
(binding-grounds kb antes)The bindings among the antecedents antes of a placed arity nogood's justification.
The bindings among the antecedents `antes` of a placed arity nogood's justification.
(exempt-at? kb c ms up hidden?)Does a reader with ancestor set up read no conviction of the arity nogood over the
handles ms: a candidate tuple whose length breaks no binding of its functor
(relation-length, the same at every reader but for hidden?), or one binding of each
end of a pair the reader does not read as two lengths (pair-at?). hidden? names the handles the reader does not believe or see,
or is nil. False for any other set.
Does a reader with ancestor set `up` read no conviction of the arity nogood over the handles `ms`: a candidate tuple whose length breaks no binding of its functor (`relation-length`, the same at every reader but for `hidden?`), or one binding of each end of a pair the reader does not read as two lengths (`pair-at?`). `hidden?` names the handles the reader does not believe or see, or is nil. False for any other set.
The arity family's entry in decide/registry. Each nogood of it is placed as a
conclusion (chain/place-arities!). A recover empties the length entries and owes the
candidates whole (::owed): the first sync after it computes them off the binding
family (arity-rebuilt) and queues every one, since a store written with no belief
holds no placement.
The arity family's entry in `decide/registry`. Each nogood of it is placed as a conclusion (`chain/place-arities!`). A recover empties the length entries and owes the candidates whole (`::owed`): the first sync after it computes them off the binding family (`arity-rebuilt`) and queues every one, since a store written with no belief holds no placement.
(held? c)Does the candidate index c keep an arity candidate or the binding of a pair, or owe
them whole (::owed)?
Does the candidate index `c` keep an arity candidate or the binding of a pair, or owe them whole (`::owed`)?
(kind-of kb c ms)The kind the arity nogood over the member handles ms reports under, read off the
candidate index c: :arity for a candidate tuple, :arity-descension for one binding
of each end of a pair; else nil.
The kind the arity nogood over the member handles `ms` reports under, read off the candidate index `c`: `:arity` for a candidate tuple, `:arity-descension` for one binding of each end of a pair; else nil.
The most weight one KB's length entries hold before the least recently used are
evicted, an entry weighing one plus the lengths and floors it holds (entry): the
shipped default the cache profile scales and the memory guard shrinks.
The most weight one KB's length entries hold before the least recently used are evicted, an entry weighing one plus the lengths and floors it holds (`entry`): the shipped default the cache profile scales and the memory guard shrinks.
(member? kb c h)Is h an arity candidate of c, or a stored binding (binding-pred)?
Is `h` an arity candidate of `c`, or a stored binding (`binding-pred`)?
(members-under kb w c ps)The candidate tuples of c whose functor is at or below one of the predicates ps or
is bound through a type at or below one of them (::meta-by-type), and the bindings of
the pairs whose lower end is: those a genl edge whose lower end is one of ps can
give or take a route (w, decide/write-view).
The candidate tuples of `c` whose functor is at or below one of the predicates `ps` or is bound through a type at or below one of them (`::meta-by-type`), and the bindings of the pairs whose lower end is: those a `genl` edge whose lower end is one of `ps` can give or take a route (`w`, `decide/write-view`).
(moved? c)Has the index queued a handle whose arity nogoods the settle places again
(take-moved!), or does it owe the candidates whole (::owed)?
Has the index queued a handle whose arity nogoods the settle places again (`take-moved!`), or does it owe the candidates whole (`::owed`)?
(nogoods-holding kb w c hs)The arity nogoods c keeps with a member or a ground among the handles hs, each
{:members #{h} :shape [q n]} for a candidate tuple or {:members #{hf hg} :pair [f g]} for one exact binding of each end of a pair: a candidate tuple of hs, and for a
binding of hs the candidate tuples of a functor at or below its predicate (w,
decide/write-view) and the pairs with its predicate at either end.
The arity nogoods `c` keeps with a member or a ground among the handles `hs`, each
`{:members #{h} :shape [q n]}` for a candidate tuple or `{:members #{hf hg} :pair [f
g]}` for one exact binding of each end of a pair: a candidate tuple of `hs`, and for a
binding of `hs` the candidate tuples of a functor at or below its predicate (`w`,
`decide/write-view`) and the pairs with its predicate at either end.(note-reading-moved! kb h)Queue the arity nogoods h can ground, for the settle to place them again
(take-moved!): an except of h arrived or left, or h's class moved, which moves
whether a reader reads a binding through it (routes). A binding queues itself, and a
genl edge the candidate tuples of the functors bound through a type at or below its
lower end (::meta-by-type), read over the unscoped closure since the queue is a
superset the placement scopes.
Queue the arity nogoods `h` can ground, for the settle to place them again (`take-moved!`): an `except` of `h` arrived or left, or `h`'s class moved, which moves whether a reader reads a binding through it (`routes`). A binding queues itself, and a `genl` edge the candidate tuples of the functors bound through a type at or below its lower end (`::meta-by-type`), read over the unscoped closure since the queue is a superset the placement scopes.
(owned? kb members core)Is the placed nogood over members with antecedents but the genlCx edges core one
this family places (chain/place-arities!): one member and a binding (binding-of)
among the other antecedents, or two bindings and nothing else but genl edges?
Is the placed nogood over `members` with antecedents but the `genlCx` edges `core` one this family places (`chain/place-arities!`): one member and a binding (`binding-of`) among the other antecedents, or two bindings and nothing else but `genl` edges?
(reached kb w c below)The candidate tuples of c a binding stated in a context of below convicts: each
candidate shape whose functor's own bindings, or those of a predicate above it storing
an exact length (w, decide/write-view), include one stated there, or whose metatype
route has its membership or an edge stated there (meta-routes). A pair's bindings
are candidates, which decide/handles-at reads by context. One memo of the cut
closures (exact-above) and one of the predicates read serve every shape.
The candidate tuples of `c` a binding stated in a context of `below` convicts: each candidate shape whose functor's own bindings, or those of a predicate above it storing an exact length (`w`, `decide/write-view`), include one stated there, or whose metatype route has its membership or an edge stated there (`meta-routes`). A pair's bindings are candidates, which `decide/handles-at` reads by context. One memo of the cut closures (`exact-above`) and one of the predicates read serve every shape.
(relation-length kb q)(relation-length kb q hidden? grounds?)What binds q's length, as {:exact n :via p} or {:min m :via q}, or nil, read the
same at every context: an engine term's :shape (shape-length), else q's own
bindings (reduce-own), else the one exact length the bound predicates above it agree
on, none of them variable_arity, with :via the first of them by name. hidden?
drops the handles a reader does not believe or see, or is nil. With grounds?, the
result also carries :grounds #{h}: the bindings stating the length, an engine term's
own bindings stating its shape's length. The rule is docs/taxonomy.md's "Arity"; the
argument-position check, describe, admitsArgnum and the integrity pass call it
without grounds, and the arity nogood with them.
What binds `q`'s length, as `{:exact n :via p}` or `{:min m :via q}`, or nil, read the
same at every context: an engine term's `:shape` (`shape-length`), else `q`'s own
bindings (`reduce-own`), else the one exact length the bound predicates above it agree
on, none of them `variable_arity`, with `:via` the first of them by name. `hidden?`
drops the handles a reader does not believe or see, or is nil. With `grounds?`, the
result also carries `:grounds #{h}`: the bindings stating the length, an engine term's
own bindings stating its shape's length. The rule is docs/taxonomy.md's "Arity"; the
argument-position check, `describe`, `admitsArgnum` and the integrity pass call it
without grounds, and the arity nogood with them.(released? kb q)Does a variable_arity binding of q, IN in any context, release it? relation-length
answers {:min m} or nil for such a q and does not report the release, which
admitsArgnum and the integrity pass's undeclared-arity read beside it.
Does a `variable_arity` binding of `q`, IN in any context, release it? `relation-length`
answers `{:min m}` or nil for such a `q` and does not report the release, which
`admitsArgnum` and the integrity pass's undeclared-arity read beside it.(routes kb w _c {:keys [members shape pair]} hidden-anywhere?)Each way a binding convicts the arity nogood ng (nogoods-holding) over the unscoped
taxonomy, as {:choices [[[handle context]]] :links [[sub super]] :excluded-at f}: for
a tuple of shape [q n], each own binding of q it breaks and each exact binding of a
predicate above q (w, decide/write-view) it breaks, with the subsumption from q
to that predicate, and each metatype membership of q whose length it breaks, with the
edges up to the exact-arity class among the choice's supporters (meta-routes); for a
pair [f g], the subsumption between the two. A route convicts only where the reader
reads its binding as what binds q (exempt-at?). While no binding the conviction
reads is hidden from any context (hidden-anywhere?), a tuple's route is left out at
every placement context when q's length (relation-length) does not convict through
it, and a pair's at a placement context that reads no two lengths (pair-at?).
Each way a binding convicts the arity nogood `ng` (`nogoods-holding`) over the unscoped
taxonomy, as `{:choices [[[handle context]]] :links [[sub super]] :excluded-at f}`: for
a tuple of shape `[q n]`, each own binding of `q` it breaks and each exact binding of a
predicate above `q` (`w`, `decide/write-view`) it breaks, with the subsumption from `q`
to that predicate, and each metatype membership of `q` whose length it breaks, with the
edges up to the exact-arity class among the choice's supporters (`meta-routes`); for a
pair `[f g]`, the subsumption between the two. A route convicts only where the reader
reads its binding as what binds `q` (`exempt-at?`). While no binding the conviction
reads is hidden from any context (`hidden-anywhere?`), a tuple's route is left out at
every placement context when `q`'s length (`relation-length`) does not convict through
it, and a pair's at a placement context that reads no two lengths (`pair-at?`).(take-moved! kb)The handles whose arity nogoods moved since the last call, and the queue emptied
(noted).
The handles whose arity nogoods moved since the last call, and the queue emptied (`noted`).
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 |