Loading...

miniKanren Hangout #7, 28 April 2013

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Streamed live on Apr 28, 2013

Will demonstrates how to translate Scheme code to miniKanren using program transformations.

Links to things we talked about during general discussion:

Church (probabilistic programming in Scheme)
http://projects.csail.mit.edu/church/...

Hakank's blog
http://www.hakank.org/constraint_prog...

Google Summer of Code project for probabilistic logic programming in Clojure & core.logic
https://github.com/clojure/core.logic...

HANSEI
non-determinism with weights
(slides: http://okmij.org/ftp/kakuritu/NII2012...)

Loading...


to add this to Watch Later

Add to

Loading playlists...