>>758
googleで調べたんだね(w
そもそもMDPは使うものじゃないから。

>>759
モジュロ演算子で調べるといいよ。

prologって論理式をDFSするだけでしょ?