miniKanren Advanced Series #6
Channel: William Byrd
Date: 03/05/2017

Lots of live coding.  We fix an error in the relational interpreter, try to understand why a version of the relational interpreter is slow when handling recursion, and combine one of the Barliman optimizations with the n-gram relational interpreter.  The resulting interpreter seems faster than Barliman, for at least some synthesis problems.

Code: https://github.com/webyrd/miniKanren-hangout-summaries/tree/master/code/advanced-hangouts/hangout-6

See https://github.com/webyrd/miniKanren-hangout-summaries for more information.