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.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)
3. Open Threads should be posted in Discussion, and not Main.
4. Open Threads should start on Monday, and end on Sunday.