プロローグに失敗した述語を見つける - 自動デバッグモード？

長い計算リターンの一部の述語が失敗するかどうかを見つける方法はありますか？それはデバッグモードのようなものを使用して行うことが可能ですか？私はGoogleで検索しましたが、結果はありません。プロローグに失敗した述語を見つける - 自動デバッグモード？

2016-05-28 Anonymous

'trace'を使用できます。このプロセスで内部コールが失敗した場合は、非常に明確に表示されます。しかし、何か面白いことがあれば、さまざまな呼び出しの失敗は、正常に動作するProlog述語の通常の部分であることに注意してください。 – lurker

私は障害の呼び出しをトレースする機能はないと思います。しかし、失敗の周りの実行フローを知らなくても、何が起きているのかを知ることは難しいでしょう。したがって、 'trace 'はこの点で非常に有用です。 – lurker

私は 'トレース'を知っていますが、ここでそれは私を助けません –

SWI-Prologの場合はhook into debuggerになる可能性があります。あなたがサイトにアクセスした場合は、面白いHackers Cornerセクションの文脈を見てください。

2016-05-28 17:15:43 CapelliC

答えて