Learner lets you teach a computer in plain English. You can teach both simple statements and ways of reasoning. Learner will ask you follow-up and new questions. See http://teach-computers.org (not yet active).