Nice!

It would also be cool to write a program to play Zendo, as master. Perhaps using character-strings rather than Icehouse pieces. That would probably train induction faster than playing against humans, since there's less social overhead. Though I'm doubtful that that training would generalize to things that aren't Zendo. If one did this, it would probably also be best to get a larger set of possible predicates, and maybe construct rules recursively as logic sentences, so it's harder to just learn the program's rule-distribution.