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.
  ☆97Updated last year
• mrocklin / unification
  ☆71Updated 4 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• xflr6 / concepts
  Formal Concept Analysis with Python
  ☆116Updated 3 months ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆191Updated 2 weeks ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆118Updated last month
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆126Updated 2 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆61Updated 2 years ago
• pcarbonn / pyDatalog
  a datalog implementation in Python
  ☆299Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆12Updated 8 years ago
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆170Updated last year
• alvinwan / tex2py
  converts LaTeX into a Python parse tree, allowing navigation using the default or a custom hierarchy
  ☆94Updated 6 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆86Updated 3 years ago
• johannesloetzsch / reasonablepy
  Reasonable Python is a module which adds F-Logic to Python
  ☆25Updated 14 years ago
• E2Music / pyTabs
  A Domain-Specific Language (DSL) for simplified music notation.
  ☆19Updated 10 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆157Updated 4 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆205Updated last year
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 months ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated last week
• m-westphal / gqr
  GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
  ☆17Updated 7 years ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆204Updated 3 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆107Updated 8 months ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆113Updated this week
• ParhamP / Natural_Logic_Interpreter
  Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
  ☆117Updated 7 years ago
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆523Updated 2 months ago