Alternatives and similar repositories for reasonablepy

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

• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆53Updated last year
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆22Updated 3 years ago
• lambdazen / pixy
  Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack
  ☆36Updated this week
• mrocklin / unification
  ☆71Updated 4 years ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆71Updated 4 months ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆26Updated this week
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 8 years ago
• apayne / pylinda
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆12Updated 2 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆52Updated 10 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 7 months ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆31Updated 4 months ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• joshsh / jig
  A JavaScript-based interface for graph traversal
  ☆18Updated 2 years ago
• RAbraham / mercylog
  Datalog based relational programming in Python.
  ☆15Updated 2 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆58Updated 3 years ago
• Kappa-Dev / ReGraph
  Tool for building graph-based hierarchical knowledge representation systems
  ☆81Updated 2 years ago
• jordn / ProbLog
  ProbLog 2 is now at https://github.com/ML-KULeuven/problog
  ☆10Updated 6 years ago
• SNePS / CSNePS
  The CSNePS Knowledge Representation and Reasoning System
  ☆28Updated last month
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆30Updated 8 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• cosmoharrigan / pyrolog
  Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog
  ☆24Updated 11 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated last year
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• opencog / spacetime
  Save, track and query 3D+time locations of objects in the AtomSpace
  ☆13Updated 2 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• Effervex / CycDAG
  A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…
  ☆20Updated 9 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago