問題タブ [program-slicing]

Prolog を使用してアインシュタインのなぞなぞを解こうとしています。ハウス(Hs)で実行しようとすると、Noと表示されます。タスクは

1. イギリス人は赤い家に住んでいます。
2. スウェーデン人は犬をペットとして飼っています。
3. デーンはお茶を飲みます。
4. グリーン ハウスはホワイト ハウスのすぐ左側にあります。
5. グリーンハウスのオーナーはコーヒーを飲みます。
6. ポールモールを吸うオーナーが鳥を飼っています。
7. 黄色い家のオーナーはダンヒルを吸っている.
8. センターハウスに住むオーナーは牛乳を飲んでいます。
9. ノルウェー人は最初の家に住んでいます。
10. ブレンドを吸う飼い主と、猫を飼っている飼い主の隣に住んでいます。
11. 馬を飼っているオーナーと、ダンヒルを吸っているオーナーの隣に住んでいます。
12. ブルーマスターズを吸うオーナーはビールを飲む。
13. ドイツ人はプリンスを吸う。
14. そのノルウェー人は青い家の隣に住んでいます。
15. ブレンドを吸うオーナーは、水を飲む人の隣に住んでいます。

何が悪いのかわかりません。ありがとう

私はこのコードを持っています:

を実行するres([],[],M)と、インタプリタで正常に動作し、 が返されますM = []。

を実行するres([[a,b]],[],M)と失敗します。トレースを調べてみましたが、他のルールをres試してもすぐに失敗します。dfs同じ入力を使用して、インタープリターに直接ルールを記述した場合、それらは正常に機能します。

SWI プロローグを使用しています。なぜこれが起こるのですか？これを機能させるには何を変更する必要がありますか?

いくつかの ACSL アサーションを含むファイルがあります ( file.c):

次のコマンドですべてのアサーションをスライスしたい:

ただし、スライスは期待どおりに見えません (実際には、ファイルに含まれる関数はまったく含まれていません)。

代わりに、次のような出力が得られます。

ここで何がうまくいかないのか、特に、何をしunreachable entry pointますか? 観察: に変更argv[2]するargv[1]と、これらの問題は発生しません (ただし、最初の行で警告が表示されます)。

以下の答えを得るために、このリストをスライスまたはインデックスするにはどうすればよいですか? 複数のスライス方法を試しましたが、何もうまくいきませんでした。

答え: [0, 2, 3, [5 ,6], 8, 10]

newL は私がこれまでに持っているものですが、ネストされたリストで [6,7] 分割を取得できないようです。