tboronczyk / LearnPrologNowLinks
My answers to the exercises in Learn Prolog Now!
☆21Updated 9 years ago
Alternatives and similar repositories for LearnPrologNow
Users that are interested in LearnPrologNow are comparing it to the libraries listed below
Sorting:
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆291Updated last year
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆530Updated last month
- Some simple examples for new Prolog programmers☆604Updated 2 years ago
- Guidelines for offering jobs in the UTCS Facebook group☆12Updated 10 years ago
- An environment control module expert system written in PySWIP.☆11Updated 12 years ago
- A quick and dirty library for producing a customisable logbook from git commits. This was coded at the last minute for a Highschool Softw…☆32Updated 9 years ago
- Prolog Tutorials and Information☆171Updated 6 years ago
- A collection of Prolog libraries.☆88Updated 9 months ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆148Updated 6 months ago
- A node.js interface to the SWI-Prolog library.☆30Updated 3 years ago
- Constraint Logic Programming over Finite Domains☆182Updated 5 years ago
- OSUE Wiki and GitHub Page of osue-tuwien☆15Updated 9 years ago
- SWI-Prolog WebAssembly build as a NPM package☆51Updated this week
- Add-on for the memory training program Anki, allowing to import and export notes written in LaTeX.☆36Updated last year
- Port of Aleph to SWI-Prolog☆48Updated last year
- Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks☆51Updated last year
- 🕰️ A solver for temporal programs.☆22Updated last year
- Awesome Projects @ Cornell☆14Updated 7 years ago
- The best Prolog visualizer☆85Updated 2 years ago
- Commented Pollen sample project [mirror of https://git.matthewbutterick.com/mbutterick/pollen-tfl]☆67Updated 2 years ago
- CodeDraw is a beginner-friendly drawing library which can be used to create pictures, animations and even interactive applications.☆21Updated 7 months ago
- The main development version of the PRISM model checker.☆172Updated 3 weeks ago
- A web app to help you write essays☆23Updated 3 years ago
- A tutorial for the swipl web framework☆114Updated 4 years ago
- Art of Prolog Code☆36Updated 5 years ago
- .ics generator for timetables☆16Updated 5 years ago
- Differentiable probabilistic answer set programming☆23Updated this week
- Open data APIs for interfacing with public information from the University of Toronto.☆98Updated 5 years ago
- My PhD Papers and Presentations☆44Updated 4 years ago
- some lecture notes from the University of Waterloo.☆92Updated 9 years ago