dragonwasrobot / learn-prolog-now-exercises
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
☆288Updated last year
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
- Learn Prolog Now! Proper and elegant exercise solutions☆47Updated 10 years ago
- Prolog Tutorials and Information☆170Updated 5 years ago
- Some simple examples for new Prolog programmers☆595Updated 2 years ago
- My answers to the exercises in Learn Prolog Now!☆20Updated 9 years ago
- Curated list of Prolog packages and resources☆524Updated 2 years ago
- Learn Prolog Now LaTeX sources☆84Updated 2 years ago
- A lexical analyser generator for Haskell☆306Updated 2 months ago
- Example Problems and Assignments for Prolog☆34Updated 11 years ago
- The Power of Prolog: Introduction to modern Prolog☆1,263Updated 3 weeks ago
- Constraint Logic Programming over Finite Domains☆174Updated 5 years ago
- Write You a Scheme☆558Updated 2 years ago
- A tutorial for the swipl web framework☆111Updated 4 years ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆517Updated 2 weeks ago
- “Learn You a Haskell for Great Good!” by Miran Lipovača☆304Updated 2 years ago
- A collection of Prolog libraries.☆88Updated 6 months ago
- SWI-Prolog stable releases☆224Updated 2 months ago
- Exercises and code from "Haskell Programming from First Principles"☆91Updated 3 years ago
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆187Updated 8 years ago
- Logtalk - declarative object-oriented logic programming language☆438Updated this week
- Exercism exercises in Haskell.☆506Updated 4 months ago
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆263Updated 6 years ago
- Convert Haskell source code to Coq source code☆280Updated 4 years ago
- A book on programming languages, using Haskell☆165Updated 3 years ago
- "Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October …☆188Updated 8 years ago
- SWI-Prolog Main development repository☆1,027Updated this week
- Exercism exercises in Prolog.☆30Updated last month
- This repo is the new home of Proof General☆502Updated this week
- The Happy parser generator for Haskell☆300Updated 3 weeks ago
- Constraint Logic Programming over Integers☆191Updated last year
- A curated list of awesome Coq frameworks, libraries and software.☆235Updated 3 weeks ago