結果 : applications of predicate logic in computer science