In this article I will introduce you to the concept of "teaching" your computer to think using a language called ProLog (Programming Logic). This language is used for programming expert systems such as diagnosing diseases, space imagery analysis, and more.
This language is currently the only language that has a built in inference engine available. It's easy, fun, and can be powerful.