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.
☆253Updated 2 years ago
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.☆151Updated 2 years ago
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- Logic Programming in Python☆924Updated 2 months ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆225Updated 3 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 4 years ago
- ☆71Updated 4 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆190Updated 5 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 6 years ago
- A python parser that builds python ASTs in 502 lines of python without using modules☆61Updated 7 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- Variaous articles☆79Updated 2 years ago
- Curated list of Prolog packages and resources☆549Updated 3 months ago
- A framework for creating Python/C++ polyglots, programs valid in both programming languages☆146Updated 6 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Block-style programming environment for multi agent system, based on MIT Scratch.☆129Updated 11 months ago
- Algebraic Number Theory package☆271Updated 4 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆333Updated last week
- a minimal vector programming language☆181Updated 5 years ago
- A minimal viable programming language on top of liblgpp☆77Updated 5 years ago
- Some notes taken while working on Prolog☆192Updated 2 years ago
- Yet Another Compiler Visualizer☆159Updated 4 years ago
- A pure Python implementation of parser combinators with asymptotically best performance and support for context-sensitive or ambiguous gr…☆92Updated 5 years ago
- Constraint Logic Programming over Finite Domains☆187Updated 5 years ago
- a datalog implementation in Python☆305Updated last year
- Compiler for the Mirth programming language.☆482Updated last month
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- Logtalk - declarative object-oriented logic programming language☆470Updated this week
- arthur whitney's b interpreter translated into a more traditional flavor of C☆100Updated 8 years ago
- Neural network inference the Unix way☆564Updated 6 years ago
- A simple parser for mathematical expressions.☆175Updated 2 years ago