cosmoharrigan / pyrologLinks
Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog
☆24Updated 11 years ago
Alternatives and similar repositories for pyrolog
Users that are interested in pyrolog are comparing it to the libraries listed below
Sorting:
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated 3 months ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- A module for handling continuations in Python☆32Updated 8 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- Web Framework for SWI-Prolog☆43Updated 9 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- A Pythonic implementation of *microkanren* logic language☆10Updated 4 years ago
- ☆58Updated 11 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- ☆34Updated 4 years ago
- A new logic programming language.☆175Updated last year
- metaprogramming for don't-repeat-yourself Python☆24Updated 6 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- The SWI-Prolog HTTP server and client libraries☆25Updated last week
- ☆71Updated 4 years ago
- The Hy Transformer☆83Updated 6 years ago
- ☆14Updated 3 weeks ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- an attempt to implement miniKanren and microKanren in Python☆52Updated 10 years ago
- Loghyc - a miniKanren implementation in Hy☆88Updated 5 years ago
- Prolog Reverse Proxy☆19Updated 7 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Updated 7 years ago
- ☆7Updated 3 weeks ago
- A programming language based on bindings.☆12Updated last year
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Union types and some other functional-y stuff for Hy☆51Updated 9 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Gambit Scheme library to interface to Python☆9Updated last year