eyeprolog 1.5.13 → 1.5.14
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/package.json +4 -3
- package/test/run-regression.mjs +12 -0
- package/the-art-of-eyeprolog.md +656 -4
- package/tools/generate-predicate-reference.mjs +215 -0
- package/tools/predicate-reference.json +4672 -0
package/package.json
CHANGED
|
@@ -3,7 +3,7 @@
|
|
|
3
3
|
"publishConfig": {
|
|
4
4
|
"access": "public"
|
|
5
5
|
},
|
|
6
|
-
"version": "1.5.
|
|
6
|
+
"version": "1.5.14",
|
|
7
7
|
"description": "EyeProlog turns facts and rules into answers and proofs.",
|
|
8
8
|
"type": "module",
|
|
9
9
|
"main": "./index.js",
|
|
@@ -46,7 +46,7 @@
|
|
|
46
46
|
},
|
|
47
47
|
"scripts": {
|
|
48
48
|
"test": "node test/run-all.mjs",
|
|
49
|
-
"generate": "node tools/generate-library-autoload-index.mjs && node tools/extract-book-examples.mjs",
|
|
49
|
+
"generate": "node tools/generate-library-autoload-index.mjs && node tools/generate-predicate-reference.mjs && node tools/extract-book-examples.mjs",
|
|
50
50
|
"generate:autoload": "node tools/generate-library-autoload-index.mjs",
|
|
51
51
|
"test:eyeprolog": "node test/run-all.mjs",
|
|
52
52
|
"test:conformance": "node test/run-conformance.mjs",
|
|
@@ -69,6 +69,7 @@
|
|
|
69
69
|
"test:architecture": "node test/run-architecture.mjs",
|
|
70
70
|
"benchmark": "node test/benchmark.mjs",
|
|
71
71
|
"benchmark:baseline": "node test/benchmark.mjs --save .benchmarks/baseline.json",
|
|
72
|
-
"test:benchmark": "node test/run-benchmark-tests.mjs"
|
|
72
|
+
"test:benchmark": "node test/run-benchmark-tests.mjs",
|
|
73
|
+
"generate:reference": "node tools/generate-predicate-reference.mjs"
|
|
73
74
|
}
|
|
74
75
|
}
|
package/test/run-regression.mjs
CHANGED
|
@@ -4784,6 +4784,18 @@ function documentationSyncCases() {
|
|
|
4784
4784
|
assertEqual(result.stderr, '', 'stderr');
|
|
4785
4785
|
},
|
|
4786
4786
|
},
|
|
4787
|
+
{
|
|
4788
|
+
name: 'generated complete predicate reference matches core and library surfaces',
|
|
4789
|
+
run: () => {
|
|
4790
|
+
const result = spawnSync(process.execPath, [path.join(packageRoot, 'tools', 'generate-predicate-reference.mjs'), '--check'], {
|
|
4791
|
+
cwd: packageRoot,
|
|
4792
|
+
encoding: 'utf8',
|
|
4793
|
+
});
|
|
4794
|
+
assertEqual(result.status, 0, 'exit status');
|
|
4795
|
+
assertIncludes(result.stdout, 'predicate reference is up to date (518 predicates)', 'stdout');
|
|
4796
|
+
assertEqual(result.stderr, '', 'stderr');
|
|
4797
|
+
},
|
|
4798
|
+
},
|
|
4787
4799
|
{
|
|
4788
4800
|
name: 'reference docs match explicit tabling and current runtime extensions',
|
|
4789
4801
|
run: () => {
|