Alternatives and similar repositories for zamia-prolog

Users that are interested in zamia-prolog are comparing it to the libraries listed below

• 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
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆12Updated 7 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 4 months ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 6 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆27Updated last month
• mrocklin / unification
  ☆71Updated 4 years ago
• asrp / python_terp
  A minimal Python interpreter in Python with runtime AST definition and edit-and-continue
  ☆33Updated 7 years ago
• vslab / YieldProlog
  A Prolog implementation based on generators
  ☆20Updated 10 years ago
• kragen / urscheme
  ☆21Updated 12 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆19Updated 9 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated last year
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆29Updated 3 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆56Updated last year
• Qqwy / Jux
  ☆14Updated 4 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated last year
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• apayne / pylinda
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆12Updated 3 years ago
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆18Updated last month
• AppliedLogicSystems / ALSProlog
  ALS Prolog Compiler & Development Environment
  ☆16Updated last week
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 8 years ago
• thomasrebele / bashlog
  Answering Datalog Queries with Unix Shell Commands
  ☆24Updated last year
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 9 years ago
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Updated 2 years ago
• hpi-swa / RSqueak
  A Squeak/Smalltalk VM written in RPython.
  ☆85Updated last year