We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
YouTube recording
Emacs transcript
00:00 Welcome and motivation/structure of the uncourse.
25:00 Introduction to core miniKanren: == and equality.
1:01:56 Another notion of equality and == (nominal logic).
1:21:40 Recap of == and equality.
1:23:20 General discussion.
Unification
Coinductive logic progamming
Other Interesting Logic or Relational Programming Languages