Reddit mentions of InFerence (Artificial Intelligence)

If you teach computer programming in particular or computer science (CS) in general, you should consider perfusing and imbueing your CS teaching materials with examples and problems involving artificial intelligence. In the past, textbooks have tended to engage in common, business-oriented language such as dealing with customers and online transaction processing (OLTP). Logic dictates, and the force majeure of AI commands, that new generations of students come to grips with
the nuts and bolts of mind-design. Unless they want to spend their lives selling sugar-water, the best and the brightest should glom onto AI and grok the fundamentals of AI coding.

If you write a book about programming in Ruby or Haskell, you may dual-purpose your book by couching everything in terms of artificial intelligence. Your resulting book can have twice the market -- students of the target language, and the AI market.

The easiest proof is to use MSIE to run the http://ai.neocities.org/AiMind.html JavaScript AI and either let it run by itself for a while or enter a statement like "boys play games" and then "john is a boy". The JSAI should then ask you, "DOES JOHN PLAY GAMES", because the InFerence module reasons from past knowledge to create new knowledge.