- 425 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 23:35:36 ]
- >>421さん
そのままのせてみたらエラーが出たのでcon2(A,[B|R]) :- A < B.
をcon2(A,[B|_]) :- A < B.としたらソースの読み込みはできたのですが
エラーが出てしまいました
>>422さん
それをいれて実行してみたら
Permission error: cannot redefine built_in ','とでてしまいました
(A,B) :- A=[A1|_],B=[B1|_],A1 < B1.の部分はまとめると
con2(A,[B|R]) :- A < B. となるのかなぁと思ったのですがどうでしょう？
>>423さん
なんかその通りなきがしてきました・・・。
>>424さん
申し訳ないです。そこまでは書いてなかったです
