mistasse / Prology
Logic Programming for Python3
☆8Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for Prology
- An implementation of a truly relational database language with Python. Inspired by Date and Darwen's 'Third Manifesto'.☆10Updated 6 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆25Updated 13 years ago
- ☆15Updated 5 years ago
- A MiniKanren in Python☆36Updated 8 years ago
- Aerie: a regex-like engine nested word grammars☆16Updated 2 years ago
- Python polymorphic functions done right☆18Updated 5 years ago
- Acquisition is a mechanism that allows objects to obtain attributes from the containment hierarchy they're in.☆12Updated 2 months ago
- Funnel-web - Module dependency graph☆12Updated 8 years ago
- A GUI tool for reviewing ReST/Sphinx documentation☆26Updated last year
- Human-oriented abstract syntax tree (AST) parser/unparser for Python 3 that doesn't discard comments.☆16Updated 5 years ago
- utilities for filesystem exploration and automated builds☆21Updated 3 weeks ago
- A library for tracking program state☆15Updated 8 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆19Updated 6 years ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆33Updated 6 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- Build languages on Python.☆12Updated 3 years ago
- Simple spill-to-disk dictionary☆18Updated 8 years ago
- A python parser that builds python ASTs in 502 lines of python without using modules☆61Updated 6 years ago
- Library for simulating time progression in Python☆14Updated last month
- Algebraic data types for python☆22Updated 7 years ago
- Generate fast JSON parsers based on type stubs☆13Updated 4 years ago
- Python "metamodules"☆14Updated 7 years ago
- ☆21Updated 8 years ago
- Restructured Text Bootstrap☆20Updated 6 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆11Updated 2 years ago
- Tagged union types and immutable records (product types) in Python☆11Updated 7 years ago
- %%cffi cell magic for ipython.☆14Updated 6 years ago
- Typecast is an experimental python library for defining casts between classes.☆14Updated 8 years ago
- C++ implementation of grako parser, tuned for performance☆22Updated 10 years ago