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
• vslab / YieldProlog
  A Prolog implementation based on generators
  ☆20Updated 10 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆12Updated 7 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 3 weeks ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated last week
• kragen / urscheme
  ☆21Updated 12 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 9 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated last year
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 9 years ago
• mrocklin / unification
  ☆72Updated 4 years ago
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆29Updated 8 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆20Updated 10 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 3 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• gilbo / baselang
  A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
  ☆11Updated 10 years ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 14 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 11 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated 2 weeks ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Updated 2 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated last year