The Promise of Relational Programming [video]

A great talk by William Byrd

Backward evaluation always make me smile. One of the most surprising things I've seen to this day.

This is brilliant.