klaudiosinani / awesome-prologView external linksLinks
Curated list of Prolog packages and resources
☆551Sep 24, 2025Updated 4 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,355Jan 1, 2026Updated last month
- Some simple examples for new Prolog programmers☆621Nov 4, 2022Updated 3 years ago
- A modern Prolog implementation written mostly in Rust.☆2,372Jan 15, 2026Updated last month
- Free and open source A.I. system based on Python, TensorFlow and Prolog.☆166May 13, 2021Updated 4 years ago
- An open source Prolog interpreter in JavaScript☆625Jan 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.☆982Updated this week
- Constraint Logic Programming over Integers☆210Feb 5, 2024Updated 2 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆82Jan 20, 2026Updated 3 weeks ago
- SWI-Prolog Main development repository☆1,189Updated this week
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆549Dec 4, 2025Updated 2 months ago
- Boolean Constraint Solving in Prolog☆48Dec 8, 2024Updated last year
- Logtalk - declarative object-oriented logic programming language☆475Updated this week
- Prolog stuff☆27Sep 1, 2019Updated 6 years ago
- Advanced support for working with RDF in Prolog.☆18Aug 31, 2024Updated last year
- Some notes taken while working on Prolog☆193Jan 29, 2026Updated 2 weeks ago
- 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.☆341Feb 9, 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.☆329Jun 21, 2025Updated 7 months ago
- A collection of Prolog libraries.☆88Aug 31, 2024Updated last year
- DocLog builds documentation from source code in Prolog☆33Jan 5, 2026Updated last month
- 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 4 months ago
- Prolog interpreter in and for Erlang☆383Feb 25, 2024Updated last year
- 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.☆393Sep 23, 2025Updated 4 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 2 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.☆39Jan 3, 2026Updated last month