結果 : application of logic in computer science