Haskell Live-Coding, Session 17, Relational Programming, Part 3

More relational programming. We finish fleshing out the notion of a "Log" to help us steal the power of seminaive evaluation from Datalog for our propagator framework. Project at http://github.com/ekmett/guanxi -- Watch live at https://www.twitch.tv/ekmett