Prolog Tutorials and Information
☆173Apr 13, 2019Updated 6 years ago
Alternatives and similar repositories for PrologTutorials
Users that are interested in PrologTutorials are comparing it to the libraries listed below
Sorting:
- Some simple examples for new Prolog programmers☆618Nov 4, 2022Updated 3 years ago
- MUD Server written in Prolog using Forward chaining☆28Feb 6, 2022Updated 4 years ago
- Curated list of Prolog packages and resources☆552Sep 24, 2025Updated 5 months ago
- The Power of Prolog: Introduction to modern Prolog☆1,354Feb 15, 2026Updated last week
- Example Problems and Assignments for Prolog☆33Apr 23, 2013Updated 12 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 10 years ago
- Language Server for Prolog☆13May 2, 2023Updated 2 years ago
- Optional types for Prolog☆11Aug 14, 2018Updated 7 years ago
- A collection of Prolog libraries.☆88Aug 31, 2024Updated last year
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆550Updated this week
- JSON Parser for Prolog☆16Apr 7, 2018Updated 7 years ago
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆286Jul 11, 2023Updated 2 years ago
- Markdown parser for SWI-Prolog.☆23Oct 22, 2020Updated 5 years ago
- Test-driven system administration with a little extra logic.☆389Sep 22, 2018Updated 7 years ago
- my attempt to learn prolog by solving the 99 problems in prolog.. the files named P<int><int>.pl are the original solutions while others …☆10Jun 24, 2011Updated 14 years ago
- The LandSAR search and rescue platform☆11Dec 19, 2025Updated 2 months ago
- SWI-Prolog OpenAPI (Swagger) support☆10Sep 30, 2024Updated last year
- Interface from C# to SWI-Prolog☆27Dec 7, 2025Updated 2 months ago
- Common Lisp wrapper for Openwall bcrypt password hashing library.☆14Apr 3, 2019Updated 6 years ago
- ☆19Feb 17, 2026Updated last week
- Hoare's CSP examples implemented with Clojure core.async☆63Oct 1, 2013Updated 12 years ago
- improve your C++ by little exercises☆14Mar 13, 2021Updated 4 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Dec 19, 2025Updated 2 months ago
- A POC implementation of muKanren using CSP (core.async)☆31May 2, 2014Updated 11 years ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆20Jul 26, 2021Updated 4 years ago
- Android Image Browser☆12Sep 11, 2015Updated 10 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Apr 2, 2020Updated 5 years ago
- Emacs major mode for Alloy☆13Jul 14, 2018Updated 7 years ago
- Berlin Bang Bang's winning entry!☆30Jan 17, 2016Updated 10 years ago
- An untyped lambda calculus interpreter☆12Nov 25, 2023Updated 2 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 3 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 6 years ago
- nand-lang☆15Apr 22, 2018Updated 7 years ago
- Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine☆10May 8, 2016Updated 9 years ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆132Nov 19, 2021Updated 4 years ago
- Taylor Fausak's blog.☆19Jun 12, 2025Updated 8 months ago
- A new logic programming language.☆176Jul 30, 2023Updated 2 years ago
- Web Framework for SWI-Prolog☆43Dec 23, 2015Updated 10 years ago
- stupid conlang project☆15Mar 1, 2022Updated 3 years ago