いろんな言語で宿題スレ

いろんな言語で宿題スレ at TECH

141:デフォルトの名無しさん
09/06/11 05:50:17
>>140 の一つ違いという述語ですが、これは>>135の前日・今日に
「双方向性」を与えるたのトリックです。
一般に関数評価述語 is が条件に現れると双方向性は失われてしまいます。
?- var(A),5 is A + 2. がエラーになってしまうからです。
それを回避するというか、誤魔化しているのですね。

次ページ

続きを表示

1を表示