mistasse / PrologyLinks
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
Sorting:
- Python polymorphic functions done right☆18Updated 6 years ago
- utilities for filesystem exploration and automated builds☆21Updated last month
- Aerie: a regex-like engine nested word grammars☆16Updated 3 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- An implementation of a truly relational database language with Python. Inspired by Date and Darwen's 'Third Manifesto'.☆10Updated 6 years ago
- Library for simulating time progression in Python☆16Updated 8 months ago
- TreeDict is a fast, flexible and full-featured hierarchical python container that makes simple and sophisticated bookkeeping easy.☆32Updated 9 years ago
- Typecast is an experimental python library for defining casts between classes.☆14Updated 8 years ago
- Python subsets☆41Updated 8 years ago
- A GUI tool for reviewing ReST/Sphinx documentation☆26Updated 2 years ago
- Algebraic data types for python☆22Updated 8 years ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆33Updated 7 years ago
- Funnel-web - Module dependency graph☆12Updated 8 years ago
- ☆71Updated 4 years ago
- Ordered subsets over a finite domain☆26Updated last week
- Acquisition is a mechanism that allows objects to obtain attributes from the containment hierarchy they're in.☆12Updated 3 months ago
- A MiniKanren in Python☆35Updated 8 years ago
- Coroutines with explicit suspend and continuation☆12Updated 7 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- Typemap - The Annotator (TM)☆55Updated 6 years ago
- Runtime compiler for numerical Python☆232Updated 4 months ago
- Mount python — it's fun, not a typo, and next to pointless!☆51Updated 10 years ago
- An inference engine for extensional untyped λ-calculus☆3Updated this week
- A python parser that builds python ASTs in 502 lines of python without using modules☆61Updated 6 years ago
- Human-oriented abstract syntax tree (AST) parser/unparser for Python 3 that doesn't discard comments.☆16Updated 5 years ago
- Markdown -> IPython conversion tool☆15Updated 10 years ago
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Updated 7 years ago
- Python Domain Specific Language Tools☆84Updated 3 years ago
- Python library for generating XPath expressions☆18Updated last year