One of those logic tree inference engine thingies. I wrote a simple program like it for the ZX81 back when I was a mere boy. It wasn't as fun as this though: Guess the Dictator or Sit-Com Character.