Introduction to AIPredicate Calculus