Logic Reasoning Systems ML Frameworks
Educational implementations of propositional and first-order logic systems, including knowledge bases, inference engines (forward chaining, resolution), and theorem proving. Does NOT include machine learning frameworks, neural networks, or applied AI applications like classification or prediction tasks.
There are 40 logic reasoning systems frameworks tracked. 2 score above 70 (verified tier). The highest-rated is yuce/pyswip at 80/100 with 545 stars and 13,869 monthly downloads.
Get all 40 projects as JSON
curl "https://pt-edge.onrender.com/api/v1/datasets/quality?domain=ml-frameworks&subcategory=logic-reasoning-systems&limit=20"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
| # | Framework | Score | Tier |
|---|---|---|---|
| 1 |
yuce/pyswip
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your... |
|
Verified |
| 2 |
lab-v2/pyreason
An explainable inference software supporting annotated, real valued, graph... |
|
Verified |
| 3 |
TweetyProjectTeam/TweetyProject
TweetyProject is a collection of Java libraries that implement approaches to... |
|
Established |
| 4 |
pushkar/ABAGAIL
The library contains a number of interconnected Java packages that implement... |
|
Established |
| 5 |
amrinderarora/ai
Classical AI algorithms. Cutting edge, since 1960s. Amrinder Arora |
|
Emerging |
| 6 |
leoprover/scala-tptp-parser
A parser for the TPTP logic languages for automated theorem proving written in Scala |
|
Emerging |
| 7 |
sebdumancic/pylo2
Python wrapper around several Prolog engines. Hoping to make symbolic AI a... |
|
Emerging |
| 8 |
alreich/qualreas
Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras... |
|
Emerging |
| 9 |
ashkihotah/pyPRUF
A Python library for PRUF, a meaning representation and manipulation... |
|
Emerging |
| 10 |
danyvarghese/PyGol
A novel Inductive Logic Programming(ILP) system based on Meta Inverse... |
|
Emerging |
| 11 |
yakuza8/first-order-predicate-logic-theorem-prover
Autonomous Theorem Prover for First Order Predicate Logic |
|
Experimental |
| 12 |
AILab-FOI/SPADEKB
Implementation of knowledge base (KB) abilities for agents developed in... |
|
Experimental |
| 13 |
fjalcaraz/rcengine
Forward Chaining Rules compiler. RETE algorithm widely extended. Fastest... |
|
Experimental |
| 14 |
sramakrishnan247/ProveMe
A Theorem Prover for Propositional Logic |
|
Experimental |
| 15 |
rios0rios0/mais
Multi Agent Intelligent System implemented in Java 7. Distributed AI and... |
|
Experimental |
| 16 |
GustavoRolimSantos/Java
Java Projects |
|
Experimental |
| 17 |
sdcondon/SCFirstOrderLogic
Simple first-order logic implementation for .NET. |
|
Experimental |
| 18 |
hintikkasworld/hintikkasworld
Hintikka's World is a pedagogical tool for learning modal logic, more... |
|
Experimental |
| 19 |
SimeonHristov99/knowledge_based_systems
Resources complimenting additional practice hours for the course... |
|
Experimental |
| 20 |
vperaltadelriego/LogiPrune
Propositional structure recovery and truth table entropy for hyperparameter... |
|
Experimental |
| 21 |
devsujay19/A-Basic-Java-Questioning-System
This is a basic Java Question System. |
|
Experimental |
| 22 |
ceswer/NAI
Solving tasks given by PJWSTK and own projects based on artificial intelligence. |
|
Experimental |
| 23 |
berlinbrown/Squirm3ArtificialChemistry
Artificial Chemistry Examples based on Tim Hutton's work |
|
Experimental |
| 24 |
dpalmasan/py-logic
Libray for dealing with logic in python |
|
Experimental |
| 25 |
brucethagwana/truthtable
functional values of logical expressions |
|
Experimental |
| 26 |
TebogoYungMercykay/Artificial-Intelligence-In-Java
This repository is dedicated to my exploration and understanding of various... |
|
Experimental |
| 27 |
vitorhugo13/feup-aiad
Repository of code developed for the course AIAD @FEUP. |
|
Experimental |
| 28 |
leoprover/ask
Stand-alone Skolemizer for TPTP formulas |
|
Experimental |
| 29 |
rubenandrebarreiro/fire-fighting-autonomous-intelligent-agents-simulator
🛩️ 🚒 🔥 A project based in Autonomous and Intelligent Agents. This project... |
|
Experimental |
| 30 |
Guigui14460/intelligence-artificielle
Code de l'option Aide à la décision / Intelligence artificielle de la L3... |
|
Experimental |
| 31 |
mbfakourii/Artificial-intelligen
Simple app for learn Artificial intelligence |
|
Experimental |
| 32 |
DillonWard/Artificial-Intelligence-Cipher-Breaker
Java Solution for an Artifical Intelligence Cipher Breaker |
|
Experimental |
| 33 |
gladir/VIE
Commande écrit en Pascal d'aide à l'Intelligence artificielle |
|
Experimental |
| 34 |
Gustavo053/belbic4j
🧠 A simple BELBIC algorithm library for Java language |
|
Experimental |
| 35 |
AndresMpa/meta-heuristics
This respository constains heuristics, also metaheuristics |
|
Experimental |
| 36 |
IanBurke1/Artificial_Intelligence
This repository will contain a project for module Artificial Intelligence |
|
Experimental |
| 37 |
sdcondon/SCPropositionalLogic
Very simple propositional logic knowledge base implementations. Includes... |
|
Experimental |
| 38 |
l0stfake7/AITasks
Artificial intelligence algorithms implementation in java language |
|
Experimental |
| 39 |
Aviv871/AI871
Artificial intelligence experimentations for learning purposes |
|
Experimental |
| 40 |
domhauton/CM30229-Lejos-Rover
University of Bath CM30229 Intelligent Control Systems Lejos |
|
Experimental |