Skip to content

Hangout 1, 02014 11 09

webyrd edited this page Nov 12, 2014 · 9 revisions

YouTube recording

Emacs transcript

Timeline

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.

Topics discussed

Unification

Coinductive logic progamming

Other Interesting Logic or Relational Programming Languages

Clone this wiki locally