結果 : predicate calculus examples in artificial intelligence