Alternatives and similar repositories for zamia-prolog

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

• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• vslab / YieldProlog
  A Prolog implementation based on generators
  ☆20Updated 11 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆28Updated 2 months ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆12Updated 7 years ago
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆45Updated 2 years ago
• kragen / urscheme
  ☆22Updated 12 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated last month
• 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
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 7 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated last year
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• 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
• apayne / pylinda
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆12Updated 3 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• thomasrebele / bashlog
  Answering Datalog Queries with Unix Shell Commands
  ☆24Updated last year
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆20Updated 10 years ago
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆29Updated 8 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• JohnEarnest / Four.Ps
  A minimal Forth VM and Compiler implemented in PostScript
  ☆29Updated 14 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated last year
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 4 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated last week
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 13 years ago
• melvinzhang / bit-scheme
  BIT: A Very Compact Scheme System for Microcontrollers
  ☆43Updated 9 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆28Updated 3 years ago
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 13 years ago