prologじゃダメなの?(DSLも含めて)