The detector of the one nogood family a settle finds: the clashes argument preservation
infers between a stored claim and a known-true claim no one stored, each with the most
general contexts that read it whole, where chain/place-inherited! places it. The
memo :preserved-clashes carries a clash whose inputs did not move. See docs/nmtms.md,
"The inherited-clash memo".
The detector of the one nogood family a settle finds: the clashes argument preservation infers between a stored claim and a known-true claim no one stored, each with the most general contexts that read it whole, where `chain/place-inherited!` places it. The memo `:preserved-clashes` carries a clash whose inputs did not move. See docs/nmtms.md, "The inherited-clash memo".
True (the default): preserving-nogoods carries each standing inherited clash whose
inputs did not move, and re-asks only the stored facts a moved claim reaches. False:
every call re-asks every standing clash and the whole stored extent of every predicate
a claim moved, the reference inherited_clash_oracle_test compares the memo against.
True (the default): `preserving-nogoods` carries each standing inherited clash whose inputs did not move, and re-asks only the stored facts a moved claim reaches. False: every call re-asks every standing clash and the whole stored extent of every predicate a claim moved, the reference `inherited_clash_oracle_test` compares the memo against.
True while recover runs the settle that follows rebuild-tms, whose region is the
whole store. preserving-entries skips its store-wide sweep under it, and only
when the region is also at least the store's sentex count (docs/nmtms.md, "Which
entry point the content came through").
True while `recover` runs the settle that follows `rebuild-tms`, whose region is the whole store. `preserving-entries` skips its store-wide sweep under it, and only when the region is also at least the store's sentex count (docs/nmtms.md, "Which entry point the content came through").
(discover-inherited! kb region)Find the inherited clashes (preserving-nogoods) over the network and record them in
the candidate index (inherited/install-inherited!), as {:found [ngmap] :left [members]}: each clash, whose members the network believes, of a candidate asked again
this call (one whose memo entry was not carried), and the member sets the index held
and no longer holds. chain/place-inherited! places the first at their vantages and
removes the placements of the second.
Find the inherited clashes (`preserving-nogoods`) over the network and record them in
the candidate index (`inherited/install-inherited!`), as `{:found [ngmap] :left
[members]}`: each clash, whose members the network believes, of a candidate asked again
this call (one whose memo entry was not carried), and the member sets the index held
and no longer holds. `chain/place-inherited!` places the first at their vantages and
removes the placements of the second.(note-removed! kb sentex)Record sentex, leaving the store, as {handle sentence} under :left in
:preserved-clashes while the memo holds an entry, so the next preserving-entries
reads what a handle without a record moved. preserving-nogoods empties :left with
the rest of the memo. Called from integrate/sentex-removed!.
Record `sentex`, leaving the store, as `{handle sentence}` under `:left` in
`:preserved-clashes` while the memo holds an entry, so the next `preserving-entries`
reads what a handle without a record moved. `preserving-nogoods` empties `:left` with
the rest of the memo. Called from `integrate/sentex-removed!`.(preserving-nogoods kb region)The clashes between a stored claim and a known-true claim argument preservation reads
at its own tuple, as nogood maps (inherited-nogoods). Resets :preserved-clashes,
the memo preserving-entries carries.
The members are the stored claim and the reading's reasons (inherit/clashing-claim's
:claim and :handles). :priority is the rebuttal range, 1–2. A candidate is asked
from its own context and from every vantage (preserving-entry). A body stored in both
polarities is a negation pair (chain/place-negations!), excluded by
clashing-claim. Behind inherit/preserved-pairs, two predicate-extent counts on a KB
that declares none (docs/nmtms.md, "What qualifies as a nogood";
docs/inherit.md). The memo keeps a mark of the touched window taken before the
questions (jtms/touch-mark), where the next call's region starts, and the genlCx
generation, from which the next call reads the edges moved since (decide/edge-reach).
The clashes between a stored claim and a known-true claim argument preservation reads at its own tuple, as nogood maps (`inherited-nogoods`). Resets `:preserved-clashes`, the memo `preserving-entries` carries. The members are the stored claim and the reading's reasons (`inherit/clashing-claim`'s `:claim` and `:handles`). `:priority` is the rebuttal range, 1–2. A candidate is asked from its own context and from every vantage (`preserving-entry`). A body stored in both polarities is a negation pair (`chain/place-negations!`), excluded by `clashing-claim`. Behind `inherit/preserved-pairs`, two predicate-extent counts on a KB that declares none (docs/nmtms.md, "What qualifies as a nogood"; docs/inherit.md). The memo keeps a mark of the touched window taken before the questions (`jtms/touch-mark`), where the next call's region starts, and the `genlCx` generation, from which the next call reads the edges moved since (`decide/edge-reach`).
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 |