dan & will presentation on miniKanren link