ssardina / ergo
ERGO Agent Programming Language
☆27Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for ergo
- Logic Programming in Python☆30Updated 3 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated 9 months ago
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 4 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- Using the Tsetlin Machine to learn human-interpretable rules for high-accuracy text categorization with medical applications☆49Updated 5 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 6 months ago
- Differentiable Forth Interpreter☆66Updated 6 years ago
- Algorithmic Intelligence Quotient☆38Updated 2 years ago
- A non-absolute, time-space complex optimal artificial brain (composed in matrix laboratory (matlab), by Jordan Micah Bennett)☆21Updated 5 years ago
- ☆238Updated 4 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- Doug Lenat's EURISKO from SAIL archives circa 1981☆48Updated 4 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- My MSc thesis: a grammar induction system☆15Updated 8 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- Classical CHAT80 NLP system for Prolog☆21Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 4 months ago
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- ☆42Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆24Updated 6 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆92Updated 5 years ago
- Polynomial-time Meta-Interpretive Learning☆102Updated 3 months ago
- A fast Tsetlin Machine implementation employing bit-wise operators, with MNIST demo.☆65Updated 5 years ago
- A simple optical illusion in python☆41Updated 4 years ago
- Implementation of Sparse Distributed Memory created by Pentti Kanerva in 1988.☆48Updated 6 years ago
- DeepAlgebra☆25Updated 7 years ago