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
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- utilities for filesystem exploration and automated builds☆21Updated 3 weeks ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆19Updated 7 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- Acquisition is a mechanism that allows objects to obtain attributes from the containment hierarchy they're in.☆12Updated 4 months ago
- Scala-like functional pattern matching in Python☆33Updated 12 years ago
- ☆19Updated 6 years ago
- Funnel-web - Module dependency graph☆12Updated 8 years ago
- Prolog Implementation in Python☆11Updated 7 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- A textual front end to Mathematica.☆12Updated 5 years ago
- A Pythonic DSL construction engine for import–time code translation.☆12Updated 7 years ago
- Aerie: a regex-like engine nested word grammars☆16Updated 2 years ago
- Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.☆15Updated 3 months ago
- An inference engine for extensional untyped λ-calculus☆17Updated last year
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- Side-to-side documentation generator. Fork of the Pycco, grandfork of the Docco. And an object-oriented one.☆13Updated 3 years ago
- Grako (for grammar compiler) is a tool that takes grammars in a variation of EBNF as input, and outputs memoizing (Packrat) PEG parsers i…☆34Updated 11 years ago
- Python polymorphic functions done right☆18Updated 5 years ago
- Python subsets☆41Updated 7 years ago
- A GUI tool for reviewing ReST/Sphinx documentation☆26Updated 2 years ago
- A command-line utility for pulling code blocks out of markdown files.☆14Updated 3 years ago
- ☆72Updated 3 years ago
- Markdown -> IPython conversion tool☆15Updated 9 years ago
- Guild will be a web aware pipelineable actor system, with a pythonic syntax☆24Updated 11 months ago
- ☆17Updated 6 years ago
- C++ implementation of grako parser, tuned for performance☆22Updated 10 years ago
- Typemap - The Annotator (TM)☆55Updated 6 years ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆33Updated 6 years ago
- A python parser that builds python ASTs in 502 lines of python without using modules☆61Updated 6 years ago