The Promise of Relational Programming [video] (youtube.com)

A great talk by William Byrd

This is brilliant.

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