eyeling 1.13.4 → 1.13.6
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 +6 -3
- package/package.json +1 -1
package/README.md
CHANGED
|
@@ -4,8 +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
|
-
-
|
|
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)
|
|
7
|
+
- **CLI / npm `reason()` output is mode-dependent by default**: **newly derived forward facts** in normal mode, or — when top-level `{ ... } log:query { ... }.` directives are present — the **unique instantiated conclusion triples** of those queries (a forward-rule-like projection), optionally with compact proof comments
|
|
9
8
|
- Works in Node.js and fully client-side (browser/worker)
|
|
10
9
|
|
|
11
10
|
## Links
|
|
@@ -91,7 +90,11 @@ const { closureN3 } = eyeling.reasonStream(input, {
|
|
|
91
90
|
onDerived: ({ triple }) => console.log(triple),
|
|
92
91
|
});
|
|
93
92
|
|
|
94
|
-
//
|
|
93
|
+
// `closureN3` is also mode-dependent:
|
|
94
|
+
// - normal forward mode: closure (input facts + derived facts) by default
|
|
95
|
+
// - `log:query` mode: the query-selected triples
|
|
96
|
+
// To exclude input facts from the normal-mode closure, pass:
|
|
97
|
+
// includeInputFactsInClosure: false
|
|
95
98
|
// The return value also includes `queryMode`, `queryTriples`, and `queryDerived`.
|
|
96
99
|
```
|
|
97
100
|
|