結果 : explain predicate logic with examples in artificial intelligence