17 open source projects by webyrd

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.

Relational interpreter in miniKanren that can generate quines

Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

Relational Programming in miniKanren

Prototype smart text editor

Summaries of intro and advanced miniKanren hangout series

Nominal logic programming extensions to miniKanren, based on alphaProlog.

miniKanren for interactive tutorials on the web

Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren

Code, wiki, and resources for the weekly miniKanren uncourse

Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'

Relational implementation of the CESK machine

Resources from the Polyconf 2015 talk & relational interpreters workshop

Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work

Normalization-by-evaluation in miniKanren

Concatenative relational interpreter in miniKanren