結果 : simple logic programs in java