yakuza8/first-order-predicate-logic-theorem-prover
Autonomous Theorem Prover for First Order Predicate Logic
This tool helps logicians, philosophers, or AI researchers automatically determine if a statement logically follows from a set of known facts. You provide a collection of logical statements (your 'knowledge base') and the statement you want to test, both in a specific JSON format. The tool then outputs whether the statement is provable, along with the step-by-step logical argument.
No commits in the last 6 months.
Use this if you need to rigorously verify the logical consistency or provability of statements within a defined set of first-order predicate logic clauses.
Not ideal if you're working with propositional logic, need to prove theorems interactively, or require complex symbolic manipulation beyond basic unification and resolution.
Stars
12
Forks
4
Language
Python
License
MIT
Category
Last pushed
Jun 29, 2020
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/yakuza8/first-order-predicate-logic-theorem-prover"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
yuce/pyswip
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
lab-v2/pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
TweetyProjectTeam/TweetyProject
TweetyProject is a collection of Java libraries that implement approaches to different areas of...
pushkar/ABAGAIL
The library contains a number of interconnected Java packages that implement machine learning...
amrinderarora/ai
Classical AI algorithms. Cutting edge, since 1960s. Amrinder Arora