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
Sorting:
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- Aerie: a regex-like engine nested word grammars☆16Updated 3 years ago
- Acquisition is a mechanism that allows objects to obtain attributes from the containment hierarchy they're in.☆12Updated 3 months ago
- Funnel-web - Module dependency graph☆12Updated 8 years ago
- Simple spill-to-disk dictionary☆17Updated 8 years ago
- An implementation of a truly relational database language with Python. Inspired by Date and Darwen's 'Third Manifesto'.☆10Updated 6 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Updated 7 years ago
- Prolog Implementation in Python☆11Updated 7 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- A numerical code generator☆20Updated 11 years ago
- Python polymorphic functions done right☆18Updated 5 years ago
- ☆15Updated 5 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- A library for tracking program state☆15Updated 8 years ago
- Markdown -> IPython conversion tool☆15Updated 10 years ago
- TreeDict is a fast, flexible and full-featured hierarchical python container that makes simple and sophisticated bookkeeping easy.☆32Updated 9 years ago
- Algebraic data types for python☆22Updated 8 years ago
- Human-oriented abstract syntax tree (AST) parser/unparser for Python 3 that doesn't discard comments.☆16Updated 5 years ago
- ☆21Updated 9 years ago
- utilities for filesystem exploration and automated builds☆21Updated 2 weeks ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆33Updated 7 years ago
- Subsumed into xnd☆25Updated 5 years ago
- Tools for Python code analysis and execution.☆51Updated 9 months ago
- A command-line utility for pulling code blocks out of markdown files.☆14Updated 3 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- Yet another IPython notebook to LaTeX converter - this one exports clean code easily absorbed in other reports.☆15Updated last year
- z3-powered solver (theorem prover) for deal☆12Updated last year
- Gather -- collect all your plugins!☆12Updated last year
- A platform for storing large semantic networks on MongoDB☆22Updated 13 years ago