Demo of a WAM Prolog implementation in Python
☆78Apr 28, 2023Updated 2 years ago
Alternatives and similar repositories for prol
Users that are interested in prol are comparing it to the libraries listed below
Sorting:
- A compact, efficient Prolog interpreter written in plain old C.☆342Updated this week
- ☆20Oct 26, 2015Updated 10 years ago
- A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators i…☆253Nov 25, 2023Updated 2 years ago
- Prolog implemented in Python☆12Sep 6, 2024Updated last year
- DocLog builds documentation from source code in Prolog☆33Jan 5, 2026Updated 2 months ago
- Examples of self-modifying x86 linux assembly☆11Dec 20, 2021Updated 4 years ago
- Sample SWI-Prolog server with JavaScript client☆13Nov 30, 2023Updated 2 years ago
- PRolog Equation Solving System☆29Sep 2, 2016Updated 9 years ago
- ☆14Sep 29, 2021Updated 4 years ago
- ☆19Nov 5, 2022Updated 3 years ago
- A VS Code extension that provides language support for prolog☆17Mar 2, 2025Updated last year
- GNU Prolog☆139Dec 15, 2025Updated 2 months ago
- Simple ParserCombinator framework for Swift☆13May 2, 2018Updated 7 years ago
- Prolog and Java version of Facebook's React concept☆15Mar 23, 2021Updated 4 years ago
- A lightweight concurrency library for C, featuring symmetric coroutines as the main control flow abstraction.☆12Sep 9, 2015Updated 10 years ago
- Collection of immutable and persistent data structures written in Rust, inspired by the standard libraries found in Haskell, Closure and …☆23Nov 24, 2023Updated 2 years ago
- Demo SWI-Prolog HTTP based chat server☆19Nov 2, 2016Updated 9 years ago
- Some notes taken while working on Prolog☆196Jan 29, 2026Updated last month
- Functional Geometry in Prolog☆18May 17, 2020Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆43Jun 14, 2022Updated 3 years ago
- Java-based lightweight Prolog virtual machine☆37Jul 3, 2024Updated last year
- Place & Router for Minetest☆18Nov 5, 2022Updated 3 years ago
- Red/black tree with support for fast accumulation of values in a key range☆18Sep 26, 2024Updated last year
- SWI-Prolog WebAssembly build as a NPM package☆59Updated this week
- Gemma 3 pure inference in C☆112Feb 4, 2026Updated last month
- Lecture notes and code from class☆16Jun 12, 2017Updated 8 years ago
- Extism OCaml Host SDK - easily run WebAssembly modules / plugins from OCaml applications☆18Dec 4, 2024Updated last year
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆330Jun 21, 2025Updated 8 months ago
- The fiber sourcebook☆23Oct 6, 2020Updated 5 years ago
- Javascript porting of Paul Tarau latest Prolog Engine architecture☆19Nov 6, 2018Updated 7 years ago
- PostgreSQL Prolog language handler☆134Apr 2, 2024Updated last year
- A simple library for Haskell that allows relational programming.☆46Sep 12, 2012Updated 13 years ago
- The cuteness implementation of a dependently typed language.☆194Dec 13, 2022Updated 3 years ago
- Greenbox: Excel-based Monte Carlo three-point sensitivity analysis☆24Dec 30, 2018Updated 7 years ago
- Lua port of of microKanren, a minimal logic programming engine.☆34Jan 21, 2014Updated 12 years ago
- Pokemon emerald randomizer☆22Nov 24, 2022Updated 3 years ago
- Text Adventure game in SWI Prolog.☆103Aug 14, 2023Updated 2 years ago
- The Power of Prolog: Introduction to modern Prolog☆1,355Feb 15, 2026Updated 2 weeks ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago