mistasse / Prology
Logic Programming for Python3
☆8Updated 8 years ago
Alternatives and similar repositories for Prology:
Users that are interested in Prology are comparing it to the libraries listed below
- An implementation of a truly relational database language with Python. Inspired by Date and Darwen's 'Third Manifesto'.☆10Updated 6 years ago
- Acquisition is a mechanism that allows objects to obtain attributes from the containment hierarchy they're in.☆12Updated 2 weeks ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- Python polymorphic functions done right☆18Updated 5 years ago
- Funnel-web - Module dependency graph☆12Updated 8 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- Human-oriented abstract syntax tree (AST) parser/unparser for Python 3 that doesn't discard comments.☆16Updated 5 years ago
- ☆15Updated 5 years ago
- Prolog Implementation in Python☆11Updated 7 years ago
- z3-powered solver (theorem prover) for deal☆11Updated last year
- A GUI tool for reviewing ReST/Sphinx documentation☆26Updated 2 years ago
- Tagged union types and immutable records (product types) in Python☆11Updated 7 years ago
- Python binding for rapidjson☆25Updated 7 years ago
- A Pythonic DSL construction engine for import–time code translation.☆12Updated 7 years ago
- utilities for filesystem exploration and automated builds☆21Updated last week
- Build languages on Python.☆12Updated 3 years ago
- Algebraic data types for python☆22Updated 8 years ago
- A cell magic for futurize☆10Updated 9 years ago
- xudd☆26Updated 10 years ago
- Generate fast JSON parsers based on type stubs☆12Updated 4 years ago
- Aerie: a regex-like engine nested word grammars☆16Updated 3 years ago
- A pure-Python module that implements an LR(1) parser generator, as well as CFSM and GLR parser drivers.☆50Updated 6 months ago
- A module for handling continuations in Python☆32Updated 8 years ago
- A command-line utility for pulling code blocks out of markdown files.☆14Updated 3 years ago
- Simple spill-to-disk dictionary☆17Updated 8 years ago
- TreeDict is a fast, flexible and full-featured hierarchical python container that makes simple and sophisticated bookkeeping easy.☆31Updated 8 years ago
- Cython implementation of OrderedDict☆101Updated 9 years ago
- Gather -- collect all your plugins!☆12Updated last year
- A system to Instrument running Python code☆25Updated 5 months ago
- A library for tracking program state☆15Updated 8 years ago