The negation family: a stored (not B) and a stored B whose contexts have a common
descendant, placed there as a nogood (chain/place-negations!). The bodies stored in
both polarities and their members are an index family (reads/as-stored-opposed-…).
See docs/nmtms.md, "A nogood placed as a conclusion".
The negation family: a stored `(not B)` and a stored `B` whose contexts have a common descendant, placed there as a nogood (`chain/place-negations!`). The bodies stored in both polarities and their members are an index family (`reads/as-stored-opposed-…`). See docs/nmtms.md, "A nogood placed as a conclusion".
(bodies-of kb hs)The bodies stored in both polarities among the bodies of the facts of the handles
hs: a record read per handle and a membership read per body.
The bodies stored in both polarities among the bodies of the facts of the handles `hs`: a record read per handle and a membership read per body.
The negation family's entry in decide/registry: it keeps no candidate rows, and its
write hook queues a placement that left (note-placement-left!). A pair is placed as a
conclusion (chain/place-negations!).
The negation family's entry in `decide/registry`: it keeps no candidate rows, and its write hook queues a placement that left (`note-placement-left!`). A pair is placed as a conclusion (`chain/place-negations!`).
(moved? c)Has the index queued a body whose pairs the settle places again (take-moved!)?
Has the index queued a body whose pairs the settle places again (`take-moved!`)?
(pairs kb bs)Each [n p] pair of a stored (not B) and a stored B over the bodies bs, read off
the index.
Each `[n p]` pair of a stored `(not B)` and a stored `B` over the bodies `bs`, read off the index.
(take-moved! kb)The bodies note-placement-left! queued since the last call, and the queue emptied.
The bodies `note-placement-left!` queued since the last call, and the queue emptied.
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 |