mrkkrp / lpnes
Learn Prolog Now! Proper and elegant exercise solutions
☆46Updated 10 years ago
Alternatives and similar repositories for lpnes
Users that are interested in lpnes 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
- My answers to the exercises in Learn Prolog Now!☆21Updated 9 years ago
- A collection of Prolog libraries.☆88Updated 8 months ago
- Constraint Logic Programming over Finite Domains☆181Updated 5 years ago
- Prolog Tutorials and Information☆171Updated 6 years ago
- Some notes taken while working on Prolog☆184Updated last year
- Constraint Logic Programming over Integers☆200Updated last year
- Learn Prolog Now LaTeX sources☆86Updated 2 years ago
- Art of Prolog Code☆36Updated 5 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆74Updated this week
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆45Updated 3 weeks ago
- Discrete Mathematics Using a Computer exercises/notes☆21Updated 9 years ago
- Some simple examples for new Prolog programmers☆603Updated 2 years ago
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- Continuous testing for DrRacket☆32Updated 9 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆132Updated 6 years ago
- Date and time library for Prolog☆27Updated 4 years ago
- IRC Bot Written in Prolog☆20Updated 3 years ago
- A tutorial for DCG's in swi-Prolog☆35Updated 4 years ago
- Python interface for SWI-Prolog☆49Updated 3 weeks ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆146Updated 5 months ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆62Updated 7 years ago
- Software Foundations☆128Updated last year
- Program Synthesis Course☆254Updated last year
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆155Updated last year
- An automated theorem prover for first-order logic.☆238Updated 3 years ago
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆74Updated 4 years ago
- Port of Aleph to SWI-Prolog☆47Updated last year
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated this week