AmziLS / PrologCourse
Course materials for a Prolog course
☆11Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for PrologCourse
- Customizable Knowledge Engineering Tool☆13Updated 8 years ago
- Web Framework for SWI-Prolog☆41Updated 8 years ago
- Regular expressions for Prolog☆17Updated 7 years ago
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆11Updated 8 months ago
- A tutorial for DCG's in swi-Prolog☆33Updated 3 years ago
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 3 years ago
- Poplog☆21Updated 14 years ago
- Java implementation of the FSet functional collections library.☆10Updated 8 years ago
- SOM - Simple Object Machine☆22Updated 3 months ago
- ☆27Updated 6 years ago
- clp(fd) tutorial☆19Updated 8 months ago
- Prototype of a new constraint-logic programming language in Racket☆28Updated 10 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆29Updated 10 years ago
- ☆52Updated 7 years ago
- CHR: Leuven Constraint Handling Rules☆24Updated last week
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- Bigloo Scheme Compiler☆12Updated 8 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆16Updated this week
- Phratch is based on Scratch with more features☆21Updated 5 years ago
- adds an optional type system to J language☆21Updated 8 years ago
- ☆30Updated last year
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆117Updated 3 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆26Updated 5 months ago
- ☆12Updated 3 weeks ago
- SWI-Prolog to R Project for Statistical Computing interface☆8Updated 9 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- ☆21Updated 11 years ago
- miniKanren for interactive tutorials on the web☆33Updated 7 years ago