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.
  ☆93Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆237Updated 3 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated 3 weeks ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆200Updated 3 years ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 2 years ago
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆168Updated 11 months ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆45Updated 3 weeks ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆185Updated last week
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆56Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 9 months ago
• 2rs2ts / pyswip_envctrl
  An environment control module expert system written in PySWIP.
  ☆11Updated 12 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆192Updated 2 months ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆334Updated 3 weeks ago
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆61Updated 7 years ago
• ariroffe / logics
  Logics is a Python framework for mathematical logic
  ☆23Updated 10 months ago
• ddfisher / HaPy
  Haskell bindings for Python
  ☆102Updated 3 years ago
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆100Updated 2 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆121Updated 2 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆176Updated 11 months ago
• vangelisv / thea
  OWL2 library for Prolog
  ☆111Updated 5 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆171Updated 2 weeks ago
• johannesloetzsch / reasonablepy
  Reasonable Python is a module which adds F-Logic to Python
  ☆25Updated 13 years ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆139Updated this week
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆165Updated 5 months ago
• math-comp / math-comp
  Mathematical Components
  ☆607Updated this week
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆242Updated 10 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 4 months ago