Understanding the Power of CLIPS: A Step-by-Step Guide to Integrating Prolog Reasoning in iPhone Apps