結果 : logic programming in java