結果 : java logical programs with explanation