mrkkrp / lpnes
Learn Prolog Now! Proper and elegant exercise solutions
☆46Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for lpnes
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆289Updated last year
- Constraint Logic Programming over Finite Domains☆170Updated 4 years ago
- Some notes taken while working on Prolog☆154Updated 11 months ago
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- A collection of Prolog libraries.☆87Updated 2 months ago
- top-down interpreter for ASP programs with constraints☆15Updated 2 years ago
- Some simple examples for new Prolog programmers☆579Updated 2 years ago
- Top-down interpreter for ASP programs with Constraints☆24Updated this week
- General Inductive Logic Programming System☆17Updated 2 years ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆504Updated 3 months ago
- Port of Aleph to SWI-Prolog☆44Updated 9 months ago
- Generic graph library and algorithms for Racket.☆58Updated last year
- Programming in Tabled Prolog by David S Warren☆22Updated 4 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆151Updated 7 months ago
- Embeddable Lambda Prolog Interpreter☆290Updated this week
- Randomized testing for Prolog à la QuickCheck☆22Updated 5 years ago
- Python interface for SWI-Prolog☆42Updated this week
- YAP Development release☆13Updated 3 years ago
- A VS Code extension that provides language support for prolog☆97Updated last year
- Constraint Logic Programming over Integers☆185Updated 9 months ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated this week
- Discuss future development☆21Updated 9 years ago
- Example Problems and Assignments for Prolog☆34Updated 11 years ago
- A proof-of-concept parser for the Prolog programming language, at the Bern University of Applied Sciences for the course "Automata and fo…☆10Updated 10 years ago
- Code and Data for DeepLog system☆19Updated last year
- Yes, Erlang in SWI-Prolog!☆12Updated 6 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 6 years ago
- Lecture course on verified Functional Data Structures☆27Updated 4 years ago
- Date and time library for Prolog☆27Updated 3 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆130Updated 6 years ago