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.
  ☆95Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• cjdrake / ipython-magic
  IPython Magic Functions
  ☆16Updated 7 years ago
• panks / FCA-Python
  Formal concept analysis lattice generation and query in Python
  ☆13Updated 11 years ago
• alvinwan / tex2py
  converts LaTeX into a Python parse tree, allowing navigation using the default or a custom hierarchy
  ☆94Updated 6 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated 3 months ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• hchasestevens / monkeys
  A strongly-typed genetic programming framework for Python
  ☆125Updated 7 years ago
• xflows / rdm
  Relational data mining in python
  ☆31Updated 2 years ago
• opensistemas-hub / osbrain
  osBrain - A general-purpose multi-agent system module written in Python
  ☆178Updated 5 years ago
• CarsonScott / OpenAgent
  An agent library for systems of nested automata.
  ☆43Updated 8 years ago
• sgkasselau / pyaixi
  ☆42Updated 3 years ago
• danielnyga / pracmln
  Markov Logic Networks in Python
  ☆137Updated 4 years ago
• commonsense / divisi2
  A Python library for learning from dimensionality reduction, supporting sparse and dense matrices.
  ☆78Updated 8 years ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆126Updated 2 years ago
• jordn / ProbLog
  ProbLog 2 is now at https://github.com/ML-KULeuven/problog
  ☆10Updated 6 years ago
• 51alg / TerpreT
  ☆43Updated 7 years ago
• tkf / ipython-hierarchymagic
  `%hierarchy` and `%%dot` magics for IPython
  ☆39Updated 12 years ago
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆169Updated last year
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆105Updated 6 months ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• mistasse / Prology
  Logic Programming for Python3
  ☆8Updated 8 years ago
• m-westphal / gqr
  GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
  ☆17Updated 7 years ago
• inspectorG4dget / Genetic-Framework
  Pure Python Evolutionary Algorithms Framework
  ☆46Updated 5 years ago
• srlearn / srlearn
  ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.
  ☆31Updated 2 years ago
• dhconnelly / paip-python
  Peter Norvig's Paradigms of AI Programming implemented in Python
  ☆363Updated 4 years ago
• agentmodels / agentmodels.org
  Modeling agents with probabilistic programs
  ☆67Updated 5 years ago
• RussAbbott / pylog
  pylog: an implementation of Prolog features in Python
  ☆36Updated 6 months ago
• kummahiih / python-domain-equations
  Generate and represent domain model classes via category-like equations which can be simplified to get the optimal class structure for th…
  ☆14Updated 5 years ago