ssardina / ergo
ERGO Agent Programming Language
☆27Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for ergo
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated this week
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- ☆236Updated 4 years ago
- PRolog Equation Solving System☆29Updated 8 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- ☆113Updated last year
- Metamath verifier in Python☆34Updated 7 months ago
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- Art of Prolog Code☆35Updated 5 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 4 years ago
- Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat☆117Updated 4 years ago
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 4 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 6 months ago
- Logic Programming in Python☆30Updated 3 years ago
- Some fun examples of solving problems with symbolic execution☆112Updated 6 years ago
- My MSc thesis: a grammar induction system☆15Updated 8 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- There are C language computer programs about the simulator, transformation, and test statistic of continuous Bernoulli distribution. More…☆25Updated 6 months ago
- Using the Tsetlin Machine to learn human-interpretable rules for high-accuracy text categorization with medical applications☆49Updated 5 years ago
- Port of Aleph to SWI-Prolog☆44Updated 9 months ago
- modal logic library for LEAN theorem prover☆10Updated 7 years ago
- Classical CHAT80 NLP system for Prolog☆21Updated last year
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆53Updated 15 years ago
- Automated Theorem Prover for Automatic Words☆21Updated 3 years ago
- Polynomial-time Meta-Interpretive Learning☆102Updated 3 months ago
- Code + data archive for "Modeling the Human Trajectory"☆28Updated 4 months ago
- A fast Tsetlin Machine implementation employing bit-wise operators, with MNIST demo.☆65Updated 5 years ago