photonlines / Python-Prolog-InterpreterLinks
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.
☆252Updated 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
Sorting:
- Interpreter for a simple Lisp. Written in Prolog.☆150Updated 2 years ago
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆226Updated 3 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆189Updated 4 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆62Updated 5 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- ☆72Updated 4 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- a minimal vector programming language☆181Updated 5 years ago
- A typed, polyglot, functional language☆204Updated last week
- Variaous articles☆80Updated 2 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- A terse Prolog course☆43Updated 6 years ago
- Pointless: a scripting language for learning and fun☆122Updated this week
- A python parser that builds python ASTs in 502 lines of python without using modules☆61Updated 7 years ago
- Compiler for the Mirth programming language.☆478Updated 4 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- APL Compiler targeting a typed array intermediate language☆216Updated last year
- Curated list of Prolog packages and resources☆547Updated 3 weeks ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- List of languages that compile to python☆272Updated last year
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆60Updated 5 years ago
- Algebraic Number Theory package☆271Updated 4 years ago
- A framework for creating Python/C++ polyglots, programs valid in both programming languages☆146Updated 6 years ago
- The Online Interpreter for Standard ML, written in TypeScript.☆177Updated last year
- Neural network inference the Unix way☆563Updated 6 years ago
- Block-style programming environment for multi agent system, based on MIT Scratch.☆128Updated 8 months ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆88Updated 2 years ago
- Constraint Logic Programming over Finite Domains☆186Updated 5 years ago