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.
☆292Updated 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
- Some simple examples for new Prolog programmers☆601Updated 2 years ago
- Learn Prolog Now! Proper and elegant exercise solutions☆46Updated 10 years ago
- My answers to the exercises in Learn Prolog Now!☆21Updated 9 years ago
- Prolog Tutorials and Information☆170Updated 6 years ago
- Constraint Logic Programming over Finite Domains☆178Updated 5 years ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆523Updated 2 weeks ago
- A tutorial for the swipl web framework☆111Updated 4 years ago
- Curated list of Prolog packages and resources☆533Updated 2 years ago
- Some notes taken while working on Prolog☆164Updated last year
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆508Updated 4 months ago
- A VS Code extension that provides language support for prolog☆101Updated last year
- SWI-Prolog stable releases☆224Updated 4 months ago
- Logtalk - declarative object-oriented logic programming language☆443Updated this week
- Learn Prolog Now LaTeX sources☆86Updated 2 years ago
- Example Problems and Assignments for Prolog☆33Updated 12 years ago
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆73Updated 4 years ago
- The Power of Prolog: Introduction to modern Prolog☆1,285Updated 2 weeks ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆73Updated 3 weeks ago
- Constraint Logic Programming over Integers☆198Updated last year
- A collection of Prolog libraries.☆88Updated 7 months ago
- Project Euler solutions in Python, Haskell, Ruby, Rust, and more.☆148Updated 2 weeks ago
- A node.js interface to the SWI-Prolog library.☆30Updated 3 years ago
- small MiniZinc examples demonstrating various language features☆125Updated 7 years ago
- All the examples in Real World OCaml☆376Updated last year
- My public programs and models - mostly combinatorial problems and puzzles☆375Updated 4 months ago
- Student-run wiki for students interested in computer science at Cornell University☆92Updated last year
- Princeton University COS 461: Computer Networks☆177Updated 3 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- An open source Prolog interpreter in JavaScript☆602Updated 2 years ago
- Port of Aleph to SWI-Prolog☆47Updated last year