photonlines / Python-Prolog-Interpreter
A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators in order to perform its magic.
☆248Updated last year
Alternatives and similar repositories for Python-Prolog-Interpreter:
Users that are interested in Python-Prolog-Interpreter are comparing it to the libraries listed below
- Interpreter for a simple Lisp. Written in Prolog.☆147Updated 2 years ago
- ☆71Updated 4 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆224Updated 3 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆188Updated 4 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- The Power of Prolog: Introduction to modern Prolog☆1,289Updated last month
- Curated list of Prolog packages and resources☆533Updated 2 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- a datalog implementation in Python☆292Updated 8 months ago
- Constraint Logic Programming over Finite Domains☆179Updated 5 years ago
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆123Updated 3 years ago
- Compiler for the Mirth programming language.☆463Updated last week
- Logtalk - declarative object-oriented logic programming language☆444Updated this week
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago
- List of languages that compile to python☆265Updated last year
- A rudimentary Racket implementation using RPython☆260Updated last month
- a minimal vector programming language☆181Updated 4 years ago
- A Jupyter Kernel for SWI-Prolog☆25Updated 6 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆398Updated 2 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 4 years ago
- A lisp rosetta stone to demonstrate modern language features☆169Updated 2 years ago
- arthur whitney's b interpreter translated into a more traditional flavor of C☆97Updated 7 years ago
- a tiny self-hosted Forth implementation☆425Updated 5 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆295Updated this week
- Variaous articles☆80Updated 2 years ago
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- SHOP3 Git repository☆154Updated last month