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 45 logic reasoning systems frameworks tracked. 1 score above 70 (verified tier). The highest-rated is yuce/pyswip at 70/100 with 545 stars.
Get all 45 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... |
|
Established |
| 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 |
ashkihotah/pyPRUF
A Python library for PRUF, a meaning representation and manipulation... |
|
Emerging |
| 7 |
danyvarghese/PyGol
A novel Inductive Logic Programming(ILP) system based on Meta Inverse... |
|
Emerging |
| 8 |
yakuza8/first-order-predicate-logic-theorem-prover
Autonomous Theorem Prover for First Order Predicate Logic |
|
Emerging |
| 9 |
alreich/qualreas
Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras... |
|
Emerging |
| 10 |
sebdumancic/pylo2
Python wrapper around several Prolog engines. Hoping to make symbolic AI a... |
|
Emerging |
| 11 |
fjalcaraz/rcengine
Forward Chaining Rules compiler. RETE algorithm widely extended. Fastest... |
|
Emerging |
| 12 |
AILab-FOI/SPADEKB
Implementation of knowledge base (KB) abilities for agents developed in... |
|
Emerging |
| 13 |
GustavoRolimSantos/Java
Java Projects |
|
Emerging |
| 14 |
sdcondon/SCFirstOrderLogic
Simple first-order logic implementation for .NET. |
|
Emerging |
| 15 |
hintikkasworld/hintikkasworld
Hintikka's World is a pedagogical tool for learning modal logic, more... |
|
Emerging |
| 16 |
SimeonHristov99/knowledge_based_systems
Resources complimenting additional practice hours for the course... |
|
Experimental |
| 17 |
ceswer/NAI
Solving tasks given by PJWSTK and own projects based on artificial intelligence. |
|
Experimental |
| 18 |
devsujay19/A-Basic-Java-Questioning-System
This is a basic Java Question System. |
|
Experimental |
| 19 |
vperaltadelriego/LogiPrune
Propositional structure recovery and truth table entropy for hyperparameter... |
|
Experimental |
| 20 |
dpalmasan/py-logic
Libray for dealing with logic in python |
|
Experimental |
| 21 |
Gustavo053/belbic4j
🧠 A simple BELBIC algorithm library for Java language |
|
Experimental |
| 22 |
DillonWard/Artificial-Intelligence-Cipher-Breaker
Java Solution for an Artifical Intelligence Cipher Breaker |
|
Experimental |
| 23 |
AndresMpa/meta-heuristics
This respository constains heuristics, also metaheuristics |
|
Experimental |
| 24 |
mbfakourii/Artificial-intelligen
Simple app for learn Artificial intelligence |
|
Experimental |
| 25 |
Guigui14460/intelligence-artificielle
Code de l'option Aide à la décision / Intelligence artificielle de la L3... |
|
Experimental |
| 26 |
TebogoYungMercykay/Artificial-Intelligence-In-Java
This repository is dedicated to my exploration and understanding of various... |
|
Experimental |
| 27 |
brucethagwana/truthtable
functional values of logical expressions |
|
Experimental |
| 28 |
l0stfake7/AITasks
Artificial intelligence algorithms implementation in java language |
|
Experimental |
| 29 |
Aviv871/AI871
Artificial intelligence experimentations for learning purposes |
|
Experimental |
| 30 |
G-WS/artificial-intelligence
使用prolog和java实现人工智能部分算法 |
|
Experimental |
| 31 |
L-I-M-I-T/AI_Horn
基于前向连接的子句归结方法，结合迭代加深的子句长度受限搜索，构建简易推理系统。 |
|
Experimental |
| 32 |
JosephCatrambone/Aij
A simple Java AI library for personal use. |
|
Experimental |
| 33 |
IanBurke1/Artificial_Intelligence
This repository will contain a project for module Artificial Intelligence |
|
Experimental |
| 34 |
agopalareddy/LostCities
Summer Science Research Program with Dr. Sean McCulloch at Ohio Wesleyan University |
|
Experimental |
| 35 |
rdineva/artificial-intelligence
Artificial Intelligence Algorithms |
|
Experimental |
| 36 |
toda-lab/pydavid
A Python interface of Open-David, an abductive reasoner |
|
Experimental |
| 37 |
mikhailbahdashych/AI-GTS-algorithm
Implementation of GTS AI algorithm using Python. |
|
Experimental |
| 38 |
andre-marcos-perez/COMPSCI4004_artificialIntelligence
Signal processing algorithms for the course Artificial Intelligence - COMPSCI | UOG |
|
Experimental |
| 39 |
ameek/Artifical_intelligence
All AI related problem solution from my course |
|
Experimental |
| 40 |
Mishco/Forward_production_system_artificial_intelligence
School project from artificial intelligence - Forward production system |
|
Experimental |
| 41 |
ps428/AI-Projects
Some cool AI projects |
|
Experimental |
| 42 |
filippospr/Project_AI
Laboratory Exercises for the course of Artificial intelligence |
|
Experimental |
| 43 |
michaelflppv/capture-the-flag
This is a repository of the educational project within CS306 Software... |
|
Experimental |
| 44 |
abtsousa/ProverX-Helper-Functions
Work-in-progress. Small helper Python functions I made while working for... |
|
Experimental |
| 45 |
Idir26/IAProject
Projet d'intelligence artificielle M1 MIAGE DAUPHINE |
|
Experimental |