LearnPrologNow / lpn-swish-proxyLinks
SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now
☆12Updated last year
Alternatives and similar repositories for lpn-swish-proxy
Users that are interested in lpn-swish-proxy are comparing it to the libraries listed below
Sorting:
- Web Framework for SWI-Prolog☆43Updated 9 years ago
- ☆17Updated 3 weeks ago
- CHR: Leuven Constraint Handling Rules☆26Updated last month
- My personal Racket library of useful or generic commands☆11Updated 3 months ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck☆9Updated last month
- Apply and compose functions in Prolog☆19Updated 8 years ago
- This is a mirror of the official cmucl repo at gitlab.common-lisp.net☆28Updated 2 weeks ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Updated 2 months ago
- Canonical miniKanren implementation in Racket☆85Updated 3 years ago
- ☆25Updated 2 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆19Updated last month
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Prolog stuff☆28Updated 5 years ago
- Course materials for a Prolog course☆12Updated 9 years ago
- Natural language construction grammar parser☆10Updated 9 years ago
- Access Chez Scheme documentation from the REPL☆29Updated 3 weeks ago
- The SWI-Prolog HTTP server and client libraries☆25Updated last week
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- A data frame implementation for Racket☆37Updated last year
- miniKanren for interactive tutorials on the web☆34Updated this week
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 11 months ago
- Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…☆14Updated 3 months ago
- adds an optional type system to J language☆21Updated 9 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Racket libraries for scientific computing☆18Updated 3 months ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆52Updated 15 years ago
- Mocking library for Racket☆22Updated 4 years ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆28Updated 9 years ago