Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
☆87Oct 28, 2021Updated 4 years ago
Alternatives and similar repositories for pylo2
Users that are interested in pylo2 are comparing it to the libraries listed below
Sorting:
- Fast Gradient Boosting Decision Trees with Bit-Level Data Structures☆18Aug 2, 2022Updated 3 years ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆394Sep 23, 2025Updated 5 months ago
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago
- programs written in Picat☆11Feb 10, 2026Updated 3 weeks ago
- Faithful Python implementation of the paper "Towards Deep Symbolic Reinforcement Learning" by Garnelo et al.☆13Mar 23, 2021Updated 4 years ago
- Sound Resynthesis with a Genetic Algorithm - my final year project from university☆11Jul 7, 2015Updated 10 years ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 2 years ago
- A Jupyter kernel for Logtalk☆13Aug 23, 2025Updated 6 months ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated last month
- Ada-tailored UML Modeling Language☆11May 14, 2023Updated 2 years ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆26Sep 21, 2020Updated 5 years ago
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Nov 12, 2022Updated 3 years ago
- A MATLAB script to synthesis a heartbeat☆11Jun 28, 2018Updated 7 years ago
- Mup music publication program☆13Nov 30, 2024Updated last year
- Guiding Program Synthesis by Learning to Generate Examples☆13Jul 23, 2023Updated 2 years ago
- A platform for collecting, analyzing, and visualizing social media data.