Curated list of Prolog packages and resources
☆552Sep 24, 2025Updated 5 months ago
Alternatives and similar repositories for awesome-prolog
Users that are interested in awesome-prolog are comparing it to the libraries listed below
Sorting:
- The Power of Prolog: Introduction to modern Prolog☆1,358Feb 15, 2026Updated 3 weeks ago
- Some simple examples for new Prolog programmers☆618Nov 4, 2022Updated 3 years ago
- A modern Prolog implementation written mostly in Rust.☆2,375Jan 15, 2026Updated last month
- An open source Prolog interpreter in JavaScript☆631Jan 30, 2023Updated 3 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆190Dec 29, 2020Updated 5 years ago
- The Mercury logic programming system.☆984Mar 3, 2026Updated last week
- Constraint Logic Programming over Integers☆210Feb 5, 2024Updated 2 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆83Jan 20, 2026Updated last month
- SWI-Prolog Main development repository☆1,195Updated this week
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆550Feb 25, 2026Updated last week
- Boolean Constraint Solving in Prolog☆48Dec 8, 2024Updated last year
- Logtalk - declarative object-oriented logic programming language☆476Updated this week
- Prolog stuff☆27Sep 1, 2019Updated 6 years ago
- Advanced support for working with RDF in Prolog.☆19Aug 31, 2024Updated last year
- Some notes taken while working on Prolog☆196Jan 29, 2026Updated last month
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Sep 28, 2021Updated 4 years ago
- A compact, efficient Prolog interpreter written in plain old C.☆342Mar 3, 2026Updated last week
- Java-based lightweight Prolog virtual machine☆37Jul 3, 2024Updated last year
- Run SWI-Prolog in your browser using WebAssemply☆77Aug 29, 2022Updated 3 years ago
- 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
- Awesome datalog libraries, tools and resources☆64Jan 3, 2020Updated 6 years ago
- A collection of Prolog libraries.☆88Aug 31, 2024Updated last year
- DocLog builds documentation from source code in Prolog☆34Jan 5, 2026Updated 2 months ago
- MUD Server written in Prolog using Forward chaining☆28Feb 6, 2022Updated 4 years ago
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- Refactoring Tools for SWI-Prolog☆20Sep 27, 2025Updated 5 months ago
- Prolog interpreter in and for Erlang☆383Feb 25, 2024Updated 2 years ago
- Prolog Tutorials and Information☆173Apr 13, 2019Updated 6 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 3 years ago
- Constraint Logic Programming over Finite Domains☆188Jan 7, 2020Updated 6 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Aug 16, 2021Updated 4 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆394Sep 23, 2025Updated 5 months ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- Randomized testing for Prolog à la QuickCheck☆23Jul 30, 2019Updated 6 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆151Feb 22, 2023Updated 3 years ago
- Art of Prolog Code☆37Aug 28, 2019Updated 6 years ago
- Language Server for Prolog☆13May 2, 2023Updated 2 years ago
- Prolog programming for the Java platform.☆39Feb 23, 2026Updated 2 weeks ago