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 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.☆146Updated last year
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆188Updated 4 years ago
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- ☆71Updated 3 years ago
- Some fun examples of solving problems with symbolic execution☆112Updated 6 years ago
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆222Updated 2 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆237Updated 4 years ago
- An online IDE for visual programming in Prolog☆236Updated this week
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆279Updated this week
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated last month
- An Interpreter for Extended Relational Algebra (Scheme based)☆85Updated 8 years ago
- Constraint Logic Programming over Finite Domains☆173Updated 5 years ago
- Curated list of Prolog packages and resources☆514Updated 2 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago
- a datalog implementation in Python☆283Updated 4 months ago
- Variaous articles☆80Updated last year
- Effortlessly write inline C functions in Python☆476Updated 4 years ago
- Block-style programming environment for multi agent system, based on MIT Scratch.☆126Updated last year
- Introduction to modern Prolog☆1,244Updated 2 weeks ago
- a minimal vector programming language☆180Updated 4 years ago
- Algebraic Number Theory package☆271Updated 3 years ago
- Compiler for the Mirth programming language.☆453Updated this week
- Python library that enables using prolog syntax and logic programming in python☆118Updated last year
- Parser, code model, interpreter and navigable browser for the original Xerox Smalltalk-80 v2 sources and virtual image file☆287Updated last month
- Simple Python Calculation Engine☆134Updated 2 years ago