Alternatives and similar repositories for pylogic

Users that are interested in pylogic are comparing it to the libraries listed below

• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• xflr6 / concepts
  Formal Concept Analysis with Python
  ☆120Updated last month
• johannesloetzsch / reasonablepy
  Reasonable Python is a module which adds F-Logic to Python
  ☆25Updated 14 years ago
• pcarbonn / pyDatalog
  a datalog implementation in Python
  ☆304Updated last year
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆120Updated last month
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆122Updated 8 months ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆191Updated 4 months ago
• tyler-utah / PBL
  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…
  ☆10Updated 10 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆62Updated 2 weeks ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆206Updated 4 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• E2Music / pyTabs
  A Domain-Specific Language (DSL) for simplified music notation.
  ☆19Updated 10 years ago
• Alex-Linhares / FARGonautica
  ☆119Updated 6 months ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆12Updated 8 years ago
• logpy / logpy
  Logic Programming in Python
  ☆923Updated 2 months ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• m-westphal / gqr
  GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
  ☆18Updated 8 years ago
• ajhager / copycat
  A translation of Melanie Mitchell's original Copycat project from Lisp to Python.
  ☆44Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆128Updated 2 years ago
• eriktmueller / thoughttreasure
  ThoughtTreasure commonsense knowledge base and architecture for natural language processing
  ☆79Updated 10 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆209Updated last year
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆141Updated 7 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆160Updated 4 years ago
• nkatzz / ILED
  Incremental Learning Event Definitions
  ☆15Updated 10 years ago
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆132Updated 2 weeks ago