Predicate Calculus as a Tool for AI Problems Solution Algorithms and Their Complexity كتاب يحمل اسم