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 the reader reads
(convicts-at?), 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 the reader reads (`convicts-at?`), 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.
(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 reader reads
the bindings it sees and believes, so 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 reader below a placement context sees
the bindings it sees and more, and more bindings convict less, so a route is left out
at a placement context that reads no conviction through it (convicts-at?,
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 reader reads
the bindings it sees and believes, so 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 reader below a placement context sees
the bindings it sees and more, and more bindings convict less, so a route is left out
at a placement context that reads no conviction through it (`convicts-at?`,
`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 |