Model card: restore full README from GitHub, add commercial license option
Browse files
README.md
CHANGED
|
@@ -14,3 +14,68 @@ tags:
|
|
| 14 |
|
| 15 |
> Mirrored from [https://github.com/SNAPKITTYWEST/horn-intent-engine](https://github.com/SNAPKITTYWEST/horn-intent-engine) at commit `7029aa0`. Part of the **SnapKitty October 2026 main drop**.
|
| 16 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 14 |
|
| 15 |
> Mirrored from [https://github.com/SNAPKITTYWEST/horn-intent-engine](https://github.com/SNAPKITTYWEST/horn-intent-engine) at commit `7029aa0`. Part of the **SnapKitty October 2026 main drop**.
|
| 16 |
|
| 17 |
+
# Horn Intent Engine
|
| 18 |
+
|
| 19 |
+
Pure GDScript (Godot 4) Horn-clause resolver and declarative intent engine, with an interactive web demo.
|
| 20 |
+
|
| 21 |
+
**License:** AGPL-3.0-only
|
| 22 |
+
|
| 23 |
+
## Quick Demo
|
| 24 |
+
|
| 25 |
+
Open [`web/index.html`](web/index.html) in a browser. No build step required.
|
| 26 |
+
|
| 27 |
+
The web front end is a self-contained JavaScript reimplementation of the same unification and backward-chaining logic. It lets you:
|
| 28 |
+
|
| 29 |
+
- Add facts and Horn rules
|
| 30 |
+
- Run queries (e.g. `in_warehouse ?X`)
|
| 31 |
+
- See substitutions and results
|
| 32 |
+
- Test intent matching against registered patterns
|
| 33 |
+
|
| 34 |
+
## Godot Project
|
| 35 |
+
|
| 36 |
+
```
|
| 37 |
+
nlp/
|
| 38 |
+
βββ horn_engine.gd # facts, rules, unify, freshen, solve/query
|
| 39 |
+
βββ intent_engine.gd # regex registry + dynamic dispatch
|
| 40 |
+
βββ intent_registry.gd # declarative intent definitions
|
| 41 |
+
βββ action_handlers.gd # handler implementations
|
| 42 |
+
```
|
| 43 |
+
|
| 44 |
+
Open the project folder in Godot 4.3+ and run the main scene. Output appears in the Output panel.
|
| 45 |
+
|
| 46 |
+
## Design
|
| 47 |
+
|
| 48 |
+
Language maps to predicates. Horn clauses connect the predicates. Unification propagates bindings. Indexed facts (future) supply evidence.
|
| 49 |
+
|
| 50 |
+
The current implementation is depth-first backward chaining with a depth limit. It is not complete for all recursive Horn programs; tabling or SLG resolution would be required for robust recursion.
|
| 51 |
+
|
| 52 |
+
## Repository Layout
|
| 53 |
+
|
| 54 |
+
```
|
| 55 |
+
horn_intent_engine/
|
| 56 |
+
βββ LICENSE
|
| 57 |
+
βββ README.md
|
| 58 |
+
βββ project.godot
|
| 59 |
+
βββ main.gd / main.tscn
|
| 60 |
+
βββ nlp/ # GDScript source
|
| 61 |
+
βββ web/ # interactive demo (HTML/JS)
|
| 62 |
+
```
|
| 63 |
+
|
| 64 |
+
## Authors
|
| 65 |
+
|
| 66 |
+
SnapKitty Research Lab
|
| 67 |
+
Researchers: Ahmad Ali Parr, Jessica Westerhoff
|
| 68 |
+
Research owner: Bel esprit D'accord Trust
|
| 69 |
+
|
| 70 |
+
## License
|
| 71 |
+
|
| 72 |
+
This program is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
|
| 73 |
+
|
| 74 |
+
See the [LICENSE](LICENSE) file for the full text.
|
| 75 |
+
|
| 76 |
+
### πΌ Commercial License
|
| 77 |
+
|
| 78 |
+
SnapKitty code is free and open under **AGPL-3.0** for open-source use. Building a commercial product or service? A **proprietary commercial license** from Snapkitty Collective LLC lets you ship this code without the AGPL's source-sharing and network-use obligations.
|
| 79 |
+
|
| 80 |
+
**[β Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=Commercial%20license:%20horn-intent-engine)** Β· A.parr@belespritdaccord.uk
|
| 81 |
+
|