通常、目標が失敗すると、「false」が返されます。つまり、目標が満たされていません。SWI-Prolog が失敗したサブゴールの述語、行、および/またはシーケンス番号を出力するようにする方法はありますか。プログラム全体をトレースするのではなく、他のプログラミング言語のようなフィードバックが必要なだけです。を返すのがエラーではないことはわかっていますfalseが、デバッグ時に問題を特定するためにこのフィードバックがあると便利です。もちろん出来ればですが。
ありがとう
2 に答える
3
@false で何度も説明されている "failure-slice" テクニックの使用を検討することもできます。これには独自の tagがあります。
また、このすばらしい回答もご覧ください。そこに示されているコードを使用して、自分が求めていることを (とりわけ) 正確に実行できる独自の「デバッガー」を作成できます。
于 2015-09-15T06:53:58.467 に答える