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!).
The arity family's entry in `decide/registry`. Each nogood of it is placed as a conclusion (`chain/place-arities!`).
(held? c)Does the candidate index c keep an arity candidate or the binding of a pair?
Does the candidate index `c` keep an arity candidate or the binding of a pair?
(kind-of 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.
(member? c h)Is h an arity candidate of c, or a binding of a predicate a candidate or a pair
reads?
Is `h` an arity candidate of `c`, or a binding of a predicate a candidate or a pair reads?
(members-under kb w c ps)The candidate tuples of c whose functor is at or below one of the predicates ps,
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`, 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!)?
Has the index queued a handle whose arity nogoods the settle places again (`take-moved!`)?
(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-except-target! kb h)Queue h when it is a binding the index keeps, for the settle to place its nogoods
again (take-moved!): an except of it arrived or left, which moves whether a reader
below a placement context can read fewer bindings than that context (routes).
Queue `h` when it is a binding the index keeps, for the settle to place its nogoods again (`take-moved!`): an `except` of it arrived or left, which moves whether a reader below a placement context can read fewer bindings than that context (`routes`).
(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. A pair's bindings
are candidates, which decide/handles-at reads by context.
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. A pair's bindings are candidates, which `decide/handles-at` reads by context.
(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; 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; 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 |