- 449 名前：デフォルトの名無しさん mailto:sage [2012/03/12(月) 23:42:15.80 ]
- >>448
具体的なコードをコピペしてもらえると、期待する答えがもらえやすいと思う
とりあえず可能性を推測してみる
・1行目のbody部では(たとえばバックトラックを応用した)手続き型の処理が書かれていて、
必ず否定で処理が終わる
でも、処理全体としては肯定で終了させたいから、2行目に必ず真となる述語が置かれている
・述語doに引数があり、複数のbody付き定義でcase文に相当する多分岐処理を記述している
そして、最後のbody無しdoは(case文における)空のdefault節を表現している
