DLS 2016
Tue 1 Nov 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Tue 1 Nov 2016 15:40 - 16:05 at Matterhorn 1 - Session 4 Chair(s): Elisa Gonzalez Boix

We present a straightforward, call-by-value embedding of a small logic
programming language with a simple complete search. We construct the
entire language in 54 lines of Racket—half of which implement
unification. We then layer over it, in 43 lines, a reconstruction of
an existing logic programming language, miniKanren, and attest to our
implementation's pedagogical value. Evidence suggests our combination
of expressiveness, concision, and elegance is compelling: since
microKanren's release, it has spawned over 50 embeddings in over two
dozen host languages, including Go, Haskell, Prolog and Smalltalk.

Tue 1 Nov

dls-2016-papers
15:40 - 17:20: DLS - Session 4 at Matterhorn 1
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
dls-2016-papers15:40 - 16:05
Talk
Jason HemannIndiana University, USA, Daniel P. FriedmanIndiana University, USA, William E. ByrdUniversity of Utah, USA, Matthew MightUniversity of Utah, USA
DOI
dls-2016-papers16:05 - 16:30
Talk
Alessandro WarthY Combinator Research, USA, Patrick DubroyY Combinator Research, USA, Tony Garnock-JonesNortheastern University, USA
DOI Pre-print
dls-2016-papers16:30 - 16:55
Talk
Stefan MarrJohannes Kepler University Linz, Benoit DalozeJKU Linz, Austria, Hanspeter MössenböckJKU Linz, Austria
DOI Pre-print