This is a great talk, Byrd is excellent at explaining the elegance and depth of the mind-bending concepts here in an accessible way.

For those that are unfamiliar with Byrd’s work; miniKanren and most recently Barliman are fascinating uses of relational/logic programming.