trueagi-io / MORK
MeTTa Optimal Reduction Kernel
☆11Updated this week
Related projects ⓘ
Alternatives and complementary repositories for MORK
- Base Forward Chaining Knowledge Base Maintenance System☆18Updated 3 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated last year
- Discussion of MeTTa programming with examples☆20Updated this week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 11 months ago
- Dyna built on R-exprs (First Prototype)☆12Updated 2 years ago
- Chatbot impls in Prolog☆15Updated 2 years ago
- Explainable machine learning☆18Updated 5 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆54Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated 2 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆39Updated last year
- A rule engine based on Attempto Controlled English☆18Updated 2 weeks ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆33Updated 11 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆29Updated last year
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆19Updated 4 years ago
- Prolog Pengines + vue.js☆17Updated 5 years ago
- Fast, simplified WAM-based Prolog system☆18Updated last year
- GOPHI: an AMR-to-English Verbalizer☆11Updated 4 years ago
- software archaeology of reflective towers of interpreters☆15Updated last month
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated 10 months ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 5 months ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 10 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Probabilistic Logic Network (PLN) implemented on top of the Unified Rule Engine (URE). https://wiki.opencog.org/w/Probabilistic_logic_net…☆15Updated 7 months ago
- A WordNet in GF☆24Updated this week
- CHR2 to SQL conversion☆12Updated 9 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- MUD Server written in Prolog using Forward chaining☆30Updated 2 years ago