dragonwasrobot / learn-prolog-now-exercisesLinks
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
☆289Updated 2 years ago
Alternatives and similar repositories for learn-prolog-now-exercises
Users that are interested in learn-prolog-now-exercises are comparing it to the libraries listed below
Sorting:
- Some simple examples for new Prolog programmers☆616Updated 3 years ago
- Prolog Tutorials and Information☆173Updated 6 years ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆542Updated last month
- Constraint Logic Programming over Finite Domains☆186Updated 5 years ago
- Example Problems and Assignments for Prolog☆33Updated 12 years ago
- Learn Prolog Now! Proper and elegant exercise solutions☆47Updated 10 years ago
- Learn Prolog Now LaTeX sources☆98Updated 3 years ago
- A tutorial for the swipl web framework☆113Updated 4 years ago
- A collection of Prolog libraries.☆88Updated last year
- SWI-Prolog stable releases☆231Updated last week
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆74Updated 5 years ago
- A VS Code extension that provides language support for prolog☆103Updated 2 years ago
- All the examples in Real World OCaml☆379Updated 2 years ago
- Curated list of Prolog packages and resources☆548Updated last month
- Constraint Logic Programming over Integers☆208Updated last year
- SWI-Prolog Main development repository☆1,143Updated this week
- How hard can it be?☆11Updated 7 years ago
- My solutions to the exercises in the book Essentials of Programming Languages, 2nd Edition.☆28Updated 14 years ago
- Date and time library for Prolog☆27Updated 4 years ago
- Logtalk - declarative object-oriented logic programming language☆466Updated this week
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆533Updated 4 months ago
- Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.☆238Updated last month
- IRC Bot Written in Prolog☆20Updated 4 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- Canonical miniKanren implementation☆361Updated 7 years ago
- Mozart Programming System v2☆597Updated 9 months ago
- Exercism exercises in Prolog.☆31Updated last week
- small MiniZinc examples demonstrating various language features☆125Updated 8 years ago
- Some notes taken while working on Prolog☆190Updated last year