tboronczyk / LearnPrologNow
My answers to the exercises in Learn Prolog Now!
☆20Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for LearnPrologNow
- 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
- Some simple examples for new Prolog programmers☆578Updated 2 years ago
- A browser extension that allows raising money for charities through online shoppings☆38Updated last year
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆506Updated 3 months ago
- Constraint Logic Programming over Finite Domains☆170Updated 4 years ago
- ☆8Updated 7 years ago
- A tutorial for the swipl web framework☆109Updated 3 years ago
- Prolog Tutorials and Information☆170Updated 5 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated last week
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆72Updated 4 years ago
- Pequod in Clojurescript☆12Updated last year
- Guidelines for offering jobs in the UTCS Facebook group☆12Updated 9 years ago
- The implementation of microKanren, a featherweight relational programming language☆307Updated 10 years ago
- ARC Community Project☆22Updated 3 months ago
- Prolog benchmarks (`van Roy' set)☆15Updated last week
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆316Updated 3 weeks ago
- Parser for Attempto Controlled English (ACE)☆188Updated 7 months ago
- An embedded language for probabilistic programming and meta-programming.☆168Updated 2 years ago
- This is a guide book designed to provide information and help for St Andrews CS students that want to find and secure technology internsh…☆19Updated 8 years ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆480Updated 3 weeks ago
- The best Prolog visualizer☆84Updated last year
- Curated list of Prolog packages and resources☆505Updated 2 years ago
- YAP Development release☆13Updated 3 years ago
- OWL2 library for Prolog☆108Updated 5 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆186Updated 3 years ago
- Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine☆10Updated 8 years ago
- Discuss future development☆21Updated 9 years ago
- Introduction to modern Prolog☆1,230Updated last month
- ☆9Updated 3 months ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Updated 4 years ago