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.☆145Updated 2 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆188Updated 4 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated last year
- ☆71Updated 4 years ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆222Updated 3 years ago
- Compiler for the Mirth programming language.☆460Updated this week
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Constraint Logic Programming over Finite Domains☆175Updated 5 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆85Updated 8 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆237Updated 4 years ago
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- A server-side web framework written in Forth.☆393Updated last year
- A python parser that builds python ASTs in 502 lines of python without using modules☆61Updated 6 years ago
- A new logic programming language.☆175Updated last year
- Research on integrating datalog & lambda calculus via monotonicity types☆395Updated 2 years ago
- The Power of Prolog: Introduction to modern Prolog☆1,275Updated last month
- APL Compiler targeting a typed array intermediate language☆211Updated 6 months ago
- Metagol - an inductive logic programming system☆200Updated 3 years ago
- A terse declarative logic programming language☆117Updated 4 years ago
- A typed, polyglot, functional language☆196Updated last week
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆243Updated this week
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- Curated list of Prolog packages and resources☆529Updated 2 years ago
- Some notes taken while working on Prolog☆162Updated last year
- The NIAL language environment☆112Updated 2 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- arthur whitney's b interpreter translated into a more traditional flavor of C☆97Updated 7 years ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆119Updated 3 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago