triska / clpfd
Constraint Logic Programming over Finite Domains
☆176Updated 5 years ago
Alternatives and similar repositories for clpfd:
Users that are interested in clpfd are comparing it to the libraries listed below
- Constraint Logic Programming over Integers☆197Updated last year
- Logtalk - declarative object-oriented logic programming language☆443Updated this week
- Some notes taken while working on Prolog☆163Updated last year
- Interpreter for a simple Lisp. Written in Prolog.☆145Updated 2 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆132Updated 6 years ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆302Updated 5 months ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆155Updated 11 months ago
- The implementation of microKanren, a featherweight relational programming language☆308Updated 10 years ago
- A terse declarative logic programming language☆117Updated 4 years ago
- A less devious proof assistant☆224Updated 2 years ago
- GNU Prolog☆118Updated last week
- Polynomial-time Meta-Interpretive Learning☆120Updated 2 months ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆188Updated 4 years ago
- Embeddable Lambda Prolog Interpreter☆309Updated 2 weeks ago
- An open source Prolog interpreter in JavaScript☆601Updated 2 years ago
- Canonical miniKanren implementation☆355Updated 7 years ago
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆162Updated 8 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- An in-memory datalog implementation for OCaml.☆268Updated 6 months ago
- The best Prolog visualizer☆85Updated 2 years ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆714Updated 3 years ago
- Domain-Specific Languages of Mathematics☆436Updated 3 weeks ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆523Updated last week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆156Updated 2 months ago
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆142Updated 4 months ago
- The Online Interpreter for Standard ML, written in TypeScript.☆177Updated last year
- APL Compiler targeting a typed array intermediate language☆211Updated 7 months ago