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 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for Python-Prolog-Interpreter
- Interpreter for a simple Lisp. Written in Prolog.☆145Updated last year
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- ☆72Updated 3 years ago
- Curated list of Prolog packages and resources☆504Updated 2 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆186Updated 3 years ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆221Updated 2 years ago
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- Introduction to modern Prolog☆1,228Updated 3 weeks 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.☆274Updated this week
- A new logic programming language.☆176Updated last year
- A python parser that builds python ASTs in 502 lines of python without using modules☆61Updated 6 years ago
- The cuteness implementation of a dependently typed language.☆188Updated last year
- An Interpreter for Extended Relational Algebra (Scheme based)☆85Updated 8 years ago
- A parser generator for visibly pushdown languages.☆746Updated last year
- arthur whitney's b interpreter translated into a more traditional flavor of C☆95Updated 7 years ago
- An online IDE for visual programming in Prolog☆235Updated last week
- Canonical miniKanren implementation☆351Updated 6 years ago
- Constraint Logic Programming over Finite Domains☆169Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- Logtalk - declarative object-oriented logic programming language☆424Updated this week
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆271Updated last year
- Research on integrating datalog & lambda calculus via monotonicity types☆387Updated 2 years ago
- A server-side web framework written in Forth.☆390Updated 9 months ago
- An open source Prolog interpreter in JavaScript☆580Updated last year
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆117Updated 3 years ago
- a minimal vector programming language☆180Updated 4 years ago