MeTTa module containing various flavors of backward and forward chaining, as well as converters between these flavors.
☆16Sep 16, 2026Updated last month
Alternatives and similar repositories for chaining
Users that are interested in chaining are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆25Mar 29, 2026Updated 7 months ago
- Many Decades of AI Algorithms translated (src-to-src) into the Hyperon MeTTa Language☆11Feb 26, 2024Updated 2 years ago
- Metta-morph (from Metamorphosis): Macro-based MeTTa to (Chicken) Scheme translator.☆12Aug 8, 2025Updated last year
- Discussion of MeTTa programming with examples☆40Aug 17, 2026Updated 2 months ago
- Distributed Atomspace.☆12Jul 24, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- MeTTa Optimal Reduction Kernel☆63Updated this week
- ☆13Sep 15, 2025Updated last year
- Hyperon port of PLN (experimental)☆11Sep 21, 2026Updated last month
- New papers about the rho-calculus☆10Apr 16, 2025Updated last year
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 4 years ago
- ONA-style NARS implementation in MeTTa☆11Oct 14, 2024Updated 2 years ago
- ☆16Mar 18, 2012Updated 14 years ago
- Meta Optimization Semantic Evolutionary Search☆18Updated this week
- MeTTa programming language implementation☆282Feb 11, 2026Updated 8 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.☆89Jul 24, 2026Updated 3 months ago
- Efficient MeTTa language implementation in Prolog.☆31Oct 28, 2026Updated last week
- Top-down interpreter for ASP programs with Constraints☆48Updated this week
- AIRIS Public Release☆39Mar 26, 2026Updated 7 months ago
- This is a repo where I, OVP, am trying to learn thru allegories...☆10Oct 21, 2025Updated last year
- This repository contains the documentation for the standard library of the MeTTa language.☆22Jul 22, 2025Updated last year
- top-down interpreter for ASP programs with constraints☆20Sep 19, 2022Updated 4 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆20Oct 17, 2020Updated 6 years ago
- ☆15Oct 13, 2026Updated 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Fast, simplified WAM-based Prolog system☆26Oct 30, 2025Updated last year
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆19Apr 17, 2023Updated 3 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/pln-experimental and https://github.com/trueagi-io/PLN]. Probabilisti…☆16Sep 20, 2025Updated last year
- Haskell optimisation tool based on supercompilation☆29Jul 2, 2016Updated 10 years ago
- Repository for all ontology files and documentation related to the DOLCE ontology☆18Sep 18, 2026Updated last month
- Alpino parser and related tools for Dutch☆32Oct 19, 2026Updated 2 weeks ago
- A toy JS to ARM assembly compiler, in Haskell☆18May 30, 2022Updated 4 years ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆109Updated this week
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆57Oct 5, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago
- Markdown parser for SWI-Prolog.☆23Oct 22, 2020Updated 6 years ago
- Camera Tablet, replacing a mouse☆10Mar 28, 2017Updated 9 years ago
- Solutions to the Ninety-Nine Prolog Problems☆19Mar 15, 2021Updated 5 years ago
- Python library version of amr2fred☆14Updated this week
- Powerful Python-based metaprogramming for Rust☆14Oct 24, 2026Updated last week
- Logtalk 2.x development version☆14Sep 20, 2012Updated 14 years ago