eyeling 1.11.7 → 1.11.8
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/HANDBOOK.md +14 -13
- package/index.js +1 -1
- package/package.json +5 -8
- package/tools/test.js +0 -18
package/HANDBOOK.md
CHANGED
|
@@ -1818,7 +1818,7 @@ Quoted graphs/formulas use `{ ... }`. Inside a quoted formula, directive scope m
|
|
|
1818
1818
|
- `@prefix/@base` and `PREFIX/BASE` directives may appear at top level **or inside `{ ... }`**, and apply to the formula they occur in (formula-local scoping).
|
|
1819
1819
|
|
|
1820
1820
|
For the formal grammar, see the N3 spec grammar:
|
|
1821
|
-
- https://w3c.github.io/N3/spec/#grammar
|
|
1821
|
+
- [https://w3c.github.io/N3/spec/#grammar](https://w3c.github.io/N3/spec/#grammar)
|
|
1822
1822
|
|
|
1823
1823
|
See also:
|
|
1824
1824
|
- [Chapter 4 — From characters to AST: lexing and parsing](#ch04)
|
|
@@ -1828,7 +1828,7 @@ See also:
|
|
|
1828
1828
|
Eyeling supports a built-in “standard library” across namespaces like `log:`, `math:`, `string:`, `list:`, `time:`, `crypto:`.
|
|
1829
1829
|
|
|
1830
1830
|
References:
|
|
1831
|
-
- W3C N3 Built-ins overview: https://w3c.github.io/N3/reports/20230703/builtins.html
|
|
1831
|
+
- W3C N3 Built-ins overview: [https://w3c.github.io/N3/reports/20230703/builtins.html](https://w3c.github.io/N3/reports/20230703/builtins.html)
|
|
1832
1832
|
- Eyeling implementation details: [Chapter 11 — Built-ins as a standard library](#ch11)
|
|
1833
1833
|
- The shipped builtin catalogue: `eyeling-builtins.ttl` (in this repo)
|
|
1834
1834
|
|
|
@@ -1865,16 +1865,17 @@ See:
|
|
|
1865
1865
|
If you want to go deeper into N3 itself and the logic/programming ideas behind Eyeling, these are good starting points:
|
|
1866
1866
|
|
|
1867
1867
|
N3 / Semantic Web specs and reports:
|
|
1868
|
-
- https://w3c.github.io/N3/spec/
|
|
1869
|
-
- https://w3c.github.io/N3/
|
|
1870
|
-
- https://w3c.github.io/N3/
|
|
1868
|
+
- [https://w3c.github.io/N3/spec/](https://w3c.github.io/N3/spec/)
|
|
1869
|
+
- [https://w3c.github.io/N3/spec/builtins](https://w3c.github.io/N3/spec/builtins)
|
|
1870
|
+
- [https://w3c.github.io/N3/spec/semantics](https://w3c.github.io/N3/spec/semantics)
|
|
1871
1871
|
|
|
1872
1872
|
Logic & reasoning background (Wikipedia):
|
|
1873
|
-
- https://en.wikipedia.org/wiki/Mathematical_logic
|
|
1874
|
-
- https://en.wikipedia.org/wiki/Automated_reasoning
|
|
1875
|
-
- https://en.wikipedia.org/wiki/Forward_chaining
|
|
1876
|
-
- https://en.wikipedia.org/wiki/Backward_chaining
|
|
1877
|
-
- https://en.wikipedia.org/wiki/Unification_%28computer_science%29
|
|
1878
|
-
- https://en.wikipedia.org/wiki/Prolog
|
|
1879
|
-
- https://en.wikipedia.org/wiki/Datalog
|
|
1880
|
-
- https://en.wikipedia.org/wiki/Skolem_normal_form
|
|
1873
|
+
- [https://en.wikipedia.org/wiki/Mathematical_logic](https://en.wikipedia.org/wiki/Mathematical_logic)
|
|
1874
|
+
- [https://en.wikipedia.org/wiki/Automated_reasoning](https://en.wikipedia.org/wiki/Automated_reasoning)
|
|
1875
|
+
- [https://en.wikipedia.org/wiki/Forward_chaining](https://en.wikipedia.org/wiki/Forward_chaining)
|
|
1876
|
+
- [https://en.wikipedia.org/wiki/Backward_chaining](https://en.wikipedia.org/wiki/Backward_chaining)
|
|
1877
|
+
- [https://en.wikipedia.org/wiki/Unification_%28computer_science%29](https://en.wikipedia.org/wiki/Unification_%28computer_science%29)
|
|
1878
|
+
- [https://en.wikipedia.org/wiki/Prolog](https://en.wikipedia.org/wiki/Prolog)
|
|
1879
|
+
- [https://en.wikipedia.org/wiki/Datalog](https://en.wikipedia.org/wiki/Datalog)
|
|
1880
|
+
- [https://en.wikipedia.org/wiki/Skolem_normal_form](https://en.wikipedia.org/wiki/Skolem_normal_form)
|
|
1881
|
+
|
package/index.js
CHANGED
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "eyeling",
|
|
3
|
-
"version": "1.11.
|
|
3
|
+
"version": "1.11.8",
|
|
4
4
|
"description": "A minimal Notation3 (N3) reasoner in JavaScript.",
|
|
5
5
|
"main": "./index.js",
|
|
6
6
|
"keywords": [
|
|
@@ -44,14 +44,11 @@
|
|
|
44
44
|
"test:manifest": "node test/manifest.test.js",
|
|
45
45
|
"test:playground": "node test/playground.test.js",
|
|
46
46
|
"test:package": "node test/package.test.js",
|
|
47
|
-
"test:all": "
|
|
48
|
-
"pretest": "npm run
|
|
49
|
-
"test": "npm run
|
|
47
|
+
"test:all": "npm run test:api && npm run test:n3gen && npm run test:examples && npm run test:manifest && npm run test:playground",
|
|
48
|
+
"pretest": "npm run lint && npm run build && npm run test:packlist",
|
|
49
|
+
"test": "npm run test:all",
|
|
50
|
+
"posttest": "npm run test:package",
|
|
50
51
|
"preversion": "npm test",
|
|
51
52
|
"postversion": "git push --follow-tags"
|
|
52
|
-
},
|
|
53
|
-
"devDependencies": {
|
|
54
|
-
"eslint": "^9.39.2",
|
|
55
|
-
"globals": "^17.1.0"
|
|
56
53
|
}
|
|
57
54
|
}
|
package/tools/test.js
DELETED
|
@@ -1,18 +0,0 @@
|
|
|
1
|
-
#!/usr/bin/env node
|
|
2
|
-
const { spawnSync } = require("node:child_process");
|
|
3
|
-
|
|
4
|
-
const scripts = [
|
|
5
|
-
"test:packlist",
|
|
6
|
-
"test:api",
|
|
7
|
-
"test:n3gen",
|
|
8
|
-
"test:examples",
|
|
9
|
-
"test:manifest",
|
|
10
|
-
"test:playground",
|
|
11
|
-
"test:package",
|
|
12
|
-
];
|
|
13
|
-
|
|
14
|
-
for (const s of scripts) {
|
|
15
|
-
const r = spawnSync("npm", ["run", "-s", s], { stdio: "inherit", shell: true });
|
|
16
|
-
if (r.status !== 0) process.exit(r.status ?? 1);
|
|
17
|
-
}
|
|
18
|
-
|