atsds 0.0.14 → 0.0.15
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 +7 -8
- package/package.json +9 -4
package/README.md
CHANGED
|
@@ -10,13 +10,12 @@ A deductive system for logical inference, implemented in C++. The library provid
|
|
|
10
10
|
|
|
11
11
|
## Features
|
|
12
12
|
|
|
13
|
-
- **Multi-Language Support**:
|
|
14
|
-
- **
|
|
15
|
-
- **
|
|
16
|
-
- **
|
|
17
|
-
- **
|
|
18
|
-
- **
|
|
19
|
-
- **Type-Safe**: Strong typing support in TypeScript and Python
|
|
13
|
+
- **Multi-Language Support**: Seamlessly use the same deductive system in C++, Python, or TypeScript/JavaScript.
|
|
14
|
+
- **WebAssembly Performance**: Run high-performance deductive system in the browser or Node.js via Emscripten.
|
|
15
|
+
- **Rich Logical Terms**: Comprehensive support for variables, items, and nested lists.
|
|
16
|
+
- **Rule-Based Inference**: Flexible framework for defining rules and facts to perform complex logical deduction.
|
|
17
|
+
- **Unification Engine**: Powerful built-in mechanisms for term unification and rule matching.
|
|
18
|
+
- **Automated Search**: Built-in search engine for iterative inference.
|
|
20
19
|
|
|
21
20
|
## Installation
|
|
22
21
|
|
|
@@ -365,7 +364,7 @@ Pre-commit hooks are configured in `.pre-commit-config.yaml`.
|
|
|
365
364
|
|
|
366
365
|
## License
|
|
367
366
|
|
|
368
|
-
This project is licensed under the GNU General Public License v3.0 or later. See [LICENSE.md](LICENSE.md) for details.
|
|
367
|
+
This project is licensed under the GNU Affero General Public License v3.0 or later. See [LICENSE.md](LICENSE.md) for details.
|
|
369
368
|
|
|
370
369
|
## Documentation
|
|
371
370
|
|
package/package.json
CHANGED
|
@@ -22,7 +22,9 @@
|
|
|
22
22
|
"rollup": "rollup --config rollup.config.mjs",
|
|
23
23
|
"build": "run-s emcc rollup",
|
|
24
24
|
"test": "cross-env NODE_OPTIONS='$NODE_OPTIONS --experimental-vm-modules' jest --config=jest.config.mjs",
|
|
25
|
-
"all": "run-s build test"
|
|
25
|
+
"all": "run-s build test",
|
|
26
|
+
"vitepress": "vitepress build",
|
|
27
|
+
"docs": "run-s emcc vitepress"
|
|
26
28
|
},
|
|
27
29
|
"devDependencies": {
|
|
28
30
|
"@rollup/plugin-node-resolve": "^16.0.3",
|
|
@@ -30,13 +32,16 @@
|
|
|
30
32
|
"@rollup/plugin-typescript": "^12.3.0",
|
|
31
33
|
"@types/jest": "^30.0.0",
|
|
32
34
|
"cross-env": "^10.1.0",
|
|
35
|
+
"ejs": "^3.1.10",
|
|
33
36
|
"jest": "^30.2.0",
|
|
34
37
|
"npm-run-all": "^4.1.5",
|
|
35
|
-
"rollup": "^4.
|
|
38
|
+
"rollup": "^4.55.1",
|
|
36
39
|
"rollup-plugin-dts": "^6.3.0",
|
|
37
40
|
"ts-jest": "^29.4.6",
|
|
38
41
|
"tslib": "^2.8.1",
|
|
39
|
-
"typescript": "^5.9.3"
|
|
42
|
+
"typescript": "^5.9.3",
|
|
43
|
+
"vitepress": "^1.6.4",
|
|
44
|
+
"vue": "^3.5.26"
|
|
40
45
|
},
|
|
41
|
-
"version": "0.0.
|
|
46
|
+
"version": "0.0.15"
|
|
42
47
|
}
|