eyeling 1.13.4 → 1.13.5
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +4 -1
- package/package.json +1 -1
package/README.md
CHANGED
|
@@ -4,7 +4,7 @@ A compact [Notation3 (N3)](https://notation3.org/) reasoner in **JavaScript**.
|
|
|
4
4
|
|
|
5
5
|
- Single self-contained bundle (`eyeling.js`), no external runtime deps
|
|
6
6
|
- Forward (`=>`) + backward (`<=`) chaining over Horn-style rules
|
|
7
|
-
-
|
|
7
|
+
- CLI / npm `reason()` output is mode-dependent by default: **newly derived** forward facts in normal forward mode, or (when top-level `log:query` directives are present) the **unique instantiated conclusion triples** of those queries (optionally with compact proof comments)
|
|
8
8
|
- If the input contains one or more top-level `{ ... } log:query { ... }.` directives, the output becomes the **unique instantiated conclusion triples** of those queries (a forward-rule-like projection)
|
|
9
9
|
- Works in Node.js and fully client-side (browser/worker)
|
|
10
10
|
|
|
@@ -91,6 +91,9 @@ const { closureN3 } = eyeling.reasonStream(input, {
|
|
|
91
91
|
onDerived: ({ triple }) => console.log(triple),
|
|
92
92
|
});
|
|
93
93
|
|
|
94
|
+
// By default, closureN3 includes input facts + derived facts.
|
|
95
|
+
// To get only newly derived facts in closureN3, pass:
|
|
96
|
+
// includeInputFactsInClosure: false
|
|
94
97
|
// With log:query directives present, closureN3 contains the query-selected triples.
|
|
95
98
|
// The return value also includes `queryMode`, `queryTriples`, and `queryDerived`.
|
|
96
99
|
```
|