Anniepoo / swiplclpfdLinks
clp(fd) tutorial
☆21Updated last year
Alternatives and similar repositories for swiplclpfd
Users that are interested in swiplclpfd are comparing it to the libraries listed below
Sorting:
- Prolog implementation of microKanren☆44Updated 10 years ago
- Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…☆15Updated 10 months ago
- A tutorial for DCG's in swi-Prolog☆35Updated 4 years ago
- ☆29Updated 5 years ago
- A DSL for runtime code generation in racket☆68Updated 3 years ago
- Art of Prolog Code☆36Updated 6 years ago
- Prolog HTTPS Servers☆39Updated 7 years ago
- The sources of the first theorem prover.☆66Updated 8 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆166Updated 11 months ago
- Generic graph library and algorithms for Racket.☆59Updated 2 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 2 months ago
- miniKanren in Pharo☆11Updated last year
- Bibliography of Scheme-related Research☆15Updated 6 years ago
- SWI-Prolog dynamic C interface☆17Updated last year
- CLP(BNR) module for SWI-Prolog☆44Updated last month
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 17 years ago
- Prolog stuff☆27Updated 6 years ago
- Prolog Technology Theorem Prover☆12Updated last year
- Web Framework for SWI-Prolog☆43Updated 10 years ago
- ☆27Updated 2 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 13 years ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆123Updated 9 months ago
- A mathematical foundation for Smalltalk-25☆19Updated this week
- A programming argot☆57Updated last year
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆60Updated 7 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Updated 3 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated last year