結果 : logic programs in java