I really liked that talk, I had not seen the constraint logic programming befor. David mentions that the zebra example would be better solved with constraints. Is there a example of solving the zebro puzzle with constrains?

Also about the predicate dispatch work, is there allready some code somewhere one could look at (other then core.match)?