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.
☆246Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for Python-Prolog-Interpreter
- Interpreter for a simple Lisp. Written in Prolog.☆145Updated last year
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆185Updated 3 years ago
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- Curated list of Prolog packages and resources☆503Updated 2 years ago
- Logic Programming in Python☆903Updated 5 years ago
- An open source Prolog interpreter in JavaScript☆579Updated last year
- ☆72Updated 3 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆272Updated this week
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆221Updated 2 years ago
- Constraint Logic Programming over Integers☆184Updated 9 months ago
- Algebraic Number Theory package☆272Updated 3 years ago
- Constraint Logic Programming over Finite Domains☆169Updated 4 years ago
- An online IDE for visual programming in Prolog☆234Updated this week
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- Introduction to modern Prolog☆1,227Updated 2 weeks ago
- arthur whitney's b interpreter translated into a more traditional flavor of C☆95Updated 6 years ago
- Resolution theorem proving for predicate logic in pure Python.☆91Updated 11 months ago
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- List of languages that compile to python☆254Updated 9 months ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- The implementation of microKanren, a featherweight relational programming language☆307Updated 10 years ago
- Polynomial-time Meta-Interpretive Learning☆102Updated 3 months ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆237Updated 3 years ago
- Some notes taken while working on Prolog☆154Updated 11 months ago
- APL Compiler targeting a typed array intermediate language☆212Updated 2 months ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- a tiny self-hosted Forth implementation☆419Updated 4 years ago
- Logtalk - declarative object-oriented logic programming language☆424Updated this week