結果 : what is first order predicate logic in ai