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
- Resolution theorem proving for predicate logic in pure Python.☆91Updated last year
- ☆71Updated 3 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆70Updated 2 months ago
- An automated theorem prover for first-order logic.☆234Updated 3 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 5 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 6 months ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆59Updated 7 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated 2 months ago
- Formal Concept Analysis with Python☆109Updated 10 months ago
- Formal concept analysis lattice generation and query in Python☆13Updated 10 years ago
- PRolog Equation Solving System☆29Updated 8 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago
- Logic Programming in Python☆30Updated 3 years ago
- Pure Python Evolutionary Algorithms Framework☆46Updated 5 years ago
- modal logic library for LEAN theorem prover☆10Updated 7 years ago
- pylog: an implementation of Prolog features in Python☆36Updated 3 weeks ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 7 months ago
- An IPython notebook plugin for visualizing ASTs.☆100Updated 2 weeks ago
- Implement the essential operators from Allens Interval Algebra, and also some metaprogramming for combinatoral operators☆12Updated 6 years ago
- ERGO Agent Programming Language☆27Updated 7 months ago
- Python Knowledge Engine☆119Updated 7 years ago
- metaprogramming for don't-repeat-yourself Python☆22Updated 5 years ago
- ☆135Updated this week
- First Order Inductive Learner (FOIL) algorithm implemented in Python☆51Updated 10 years ago
- Metamath verifier in Python☆36Updated 9 months ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- Boolean satisfiability for propositional logic in Python☆14Updated 9 years ago
- Logic Programming for Python3☆8Updated 8 years ago