LearnPrologNow / lpn-swish-proxy
SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now
☆11Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for lpn-swish-proxy
- My personal Racket library of useful or generic commands☆10Updated 2 years ago
- SWI-Prolog to R Project for Statistical Computing interface☆8Updated 9 years ago
- Web Framework for SWI-Prolog☆41Updated 8 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆51Updated 14 years ago
- Random ideas about libraries for Prolog☆12Updated 8 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 5 years ago
- CHR: Leuven Constraint Handling Rules☆24Updated last week
- Optional types for Prolog☆11Updated 6 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆29Updated 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 11 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆16Updated last month
- The PGG Partial Evaluation System for Scheme 48☆17Updated 11 years ago
- Emacs Does Interactive Prolog☆37Updated last month
- Benoit Desouter's library for tabling on delimited continuations☆9Updated 8 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 8 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Updated 2 years ago
- Prolog stuff☆26Updated 5 years ago
- All code examples from "The Little Prover" book☆23Updated 8 years ago
- A data frame implementation for Racket☆37Updated 6 months ago
- Use Travis CI with Racket☆42Updated 3 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 9 years ago
- ☆16Updated last week
- The SWI-Prolog HTTP server and client libraries☆23Updated last week
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 4 months ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆14Updated 6 years ago
- CLP(BNR) module for SWI-Prolog☆39Updated last month
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆9Updated 11 years ago