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.
☆247Updated 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 last year
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆188Updated 4 years ago
- ☆71Updated 4 years ago
- Demo of a WAM Prolog implementation in Python☆74Updated last year
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- An online IDE for visual programming in Prolog☆237Updated this week
- Curated list of Prolog packages and resources☆518Updated 2 years ago
- Compiler for the Mirth programming language.☆458Updated this week
- Metagol - an inductive logic programming system☆200Updated 3 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆222Updated 3 years ago
- Polynomial-time Meta-Interpretive Learning☆119Updated last week
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated this week
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆285Updated this week
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆237Updated 4 years ago
- Algebraic Number Theory package☆271Updated 3 years ago
- a minimal vector programming language☆180Updated 4 years ago
- Introduction to modern Prolog☆1,253Updated last week
- APL Compiler targeting a typed array intermediate language☆211Updated 5 months ago
- TopShell - a purely functional, reactive scripting language☆480Updated 3 years ago
- Block-style programming environment for multi agent system, based on MIT Scratch.☆126Updated 3 weeks ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆85Updated 8 years ago
- A typed, polyglot, functional language☆196Updated this week
- The code for Particles and Parsers, which Scroll is built on.☆387Updated this week
- Variaous articles☆80Updated last year
- The Online Interpreter for Standard ML, written in TypeScript.☆177Updated last year
- Logtalk - declarative object-oriented logic programming language☆435Updated this week
- a datalog implementation in Python☆285Updated 5 months ago
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago