evertheylen / logicpy
Prolog Implementation in Python
☆11Updated 7 years ago
Alternatives and similar repositories for logicpy:
Users that are interested in logicpy are comparing it to the libraries listed below
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Updated 7 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆24Updated 10 years ago
- A Smalltalk in Python☆11Updated 2 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆17Updated 3 weeks ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆26Updated 3 weeks ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- Markdown -> IPython conversion tool☆15Updated 10 years ago
- Self-compiling compiler of a Python subset. Just enough Python to Python in Python.☆46Updated 2 years ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆33Updated 7 years ago
- Automatically exported from code.google.com/p/joypy☆28Updated 7 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 8 years ago
- ☆21Updated 11 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- Datalog based relational programming in Python.☆14Updated 2 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 2 years ago
- ☆16Updated 6 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- Research notebooks in Python, with the power of literate programming and Markdown.☆41Updated 11 years ago
- The Hy Transformer☆81Updated 5 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- Slava Akhmechet's Lisp from 2006☆14Updated 11 years ago
- ☆14Updated 4 years ago
- Github Actions CI / CD setup for Scheme☆14Updated 2 years ago
- A set of visualization engines.☆14Updated this week
- Leibniz - a Digital Scientific Notation☆33Updated 2 months ago