kakwa / pylogic
Python Module for Logical Validation (forked from Rob Truxler library)
☆25Updated 4 years ago
Alternatives and similar repositories for pylogic
Users that are interested in pylogic are comparing it to the libraries listed below
Sorting:
- Resolution theorem proving for predicate logic in pure Python.☆94Updated last year
- An automated theorem prover for first-order logic.☆238Updated 3 years ago
- ☆71Updated 4 years ago
- Metamath verifier in Python☆38Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 10 months ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆58Updated 3 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated last month
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 5 months ago
- Boolean satisfiability for propositional logic in Python☆14Updated 9 years ago
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- Python interface for SWI-Prolog☆49Updated 3 weeks ago
- First Order Inductive Learner (FOIL) algorithm implemented in Python☆51Updated 11 years ago
- Symbolic computer vision tool☆20Updated 6 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 3 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- Python library that enables using prolog syntax and logic programming in python☆123Updated 2 years ago
- multi-logic proof generator☆10Updated last year
- co.py.cat extends Hofstadter's, pythonically☆58Updated 10 months ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- ☆43Updated 2 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆46Updated last week
- ☆141Updated last week
- cplint is a suite of programs for reasoning with probabilistic logic programs☆74Updated this week
- Pedagogical first-order prover in Python☆75Updated this week
- ☆43Updated 7 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 11 years ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- Backend map and tile generation and webserver for the Paperscape map☆45Updated 7 years ago
- A system for computational category theory and applications☆38Updated 8 years ago