Loading...

miniKanren Hangout #4, 7 April 2013

Loading...

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 7, 2013

Claire Alvis gives useful advice and techniques for debugging miniKanren programs.

Followed by general discussion.

Followed by discussion of CLP(Set) extensions to (Constraint Logic Programming over the domain of sets). (Discussion based on implementing the paper 'Sets and Constraint Logic Programming' by Dovier et al.: http://citeseerx.ist.psu.edu/viewdoc/...)

Loading...

When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...