AmziLS / PrologCourse
Course materials for a Prolog course
☆12Updated 9 years ago
Alternatives and similar repositories for PrologCourse:
Users that are interested in PrologCourse are comparing it to the libraries listed below
- Customizable Knowledge Engineering Tool☆12Updated 8 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆52Updated 15 years ago
- Java based Edinburgh Prolog parser☆9Updated 3 months ago
- ☆30Updated 7 years ago
- miniKanren for interactive tutorials on the web☆33Updated 7 years ago
- Web Framework for SWI-Prolog☆43Updated 9 years ago
- Matplotlib for Chez Scheme☆24Updated 5 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆26Updated 2 months ago
- Alice ML implementation☆17Updated 2 years ago
- clp(fd) tutorial☆20Updated last year
- A tutorial for DCG's in swi-Prolog☆35Updated 4 years ago
- SOM - Simple Object Machine☆23Updated 2 months ago
- ☆12Updated 2 months ago
- An R7RS implementation of Scheme written in Go☆13Updated 7 years ago
- Prolog list utility predicates☆11Updated 6 years ago
- Frege Interpreter☆15Updated 4 years ago
- Code written while working through the book LISP in Small Pieces☆28Updated 11 years ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆24Updated 11 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆123Updated 3 years ago
- Prolog stuff☆28Updated 5 years ago
- A basic JSON parsing library for SML☆11Updated 10 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 3 years ago
- CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck☆9Updated last week
- Regular expressions for Prolog☆17Updated 7 years ago
- CHR: Leuven Constraint Handling Rules☆25Updated last week
- Playing with Factor☆29Updated 4 years ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Updated 2 years ago