問題タブ [prolog-cut]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
1 に答える
321 参照

prolog - Prolog の切断と失敗のセマンティクス

次のコードは何をしますか?

そして、それは次の2つのコードとどのように異なるのですか?

0 投票する
1 に答える
62 参照

prolog - !/0 は (\+)/1 を切り抜けるはずですか?

一方では:

... 一方で ...

...一方で:

紛らわしいですね。助けてください!

0 投票する
2 に答える
86 参照

prolog - Filling list (as as a array) : カットなしでは、バックトラックは正しい生成を与えた後に無限再帰につながります

有限数の要素でいくつかのリストを初期化する必要がありますが、すべて同じです。

無限再帰と失敗の結果を避けるために、カットは必須です。

ルール #2 を変更しようとしましたが、予想される解決策を示した後、目標は失敗します。

使い方:

0 投票する
2 に答える
69 参照

prolog - 句の先頭でカット

p(integer),q(integer),r(integer)フロー モデル(o)とpredicate で述語化された Prolog を考えてみましょうs

次の目標の結果を教えてください: s. 答えを正当化します。

結果は 111,112,121,122,211,212,221,222 です。節の先頭にある場合、カットは効果がないことがわかりました。これは本当ですか?