問題タブ [logtalk]

Logtalk コード例では、各例は「スタンドアロン」モードで実行可能な独自のテスト スイートを提供します (一度に 1 つのテスト スイート)。

しかし、タイトルが示すように、すべてのテスト スイート(アプリで継承されるすべてのロード済みオブジェクトlgtunit) を一度にテストし、最後にすべてのテスト実行の 1 つの要約 (合格/スキップ/スキップの合計) を持つ最善のアプローチに興味があります。失敗した）。

たとえば、SWI-Prolog では、run_tests/0すべてのテスト ユニットを実行します。

一般的な用語拡張ワークフローのライブラリ サポートを追加しています (1)。現在、用語拡張ルールのセット (2) がいずれかが成功するまで試行される「セット」ワークフローと、用語拡張ルールのセットからの拡張結果が渡される「パイプライン」ワークフローを定義しました。パイプラインの次のセット。あまり一般的ではありませんが、実用的な用途があり、ライブラリサポートの価値がある他の賢明な用語展開ワークフローがあるのではないかと思います.

(1) Logtalk の場合、現在のバージョンは次の場所にあります。

https://github.com/LogtalkDotOrg/logtalk3/blob/master/library/hook_pipeline.lgt https://github.com/LogtalkDotOrg/logtalk3/blob/master/library/hook_set.lgt

(2) 拡張規則のセットは、このコンテキストでは、term_expansion/2ユーザー定義のフック述語 (ユーザー定義のフック述語の可能性もありgoal_expansion/2ますが、ゴールに使用される固定小数点セマンティクスを考えると可能性は低いですが) の句のセットとして理解される必要があります。 -expansion) は、Prolog モジュールまたは Logtalk オブジェクト (user疑似モジュール/オブジェクト以外) で定義されています。

Prolog で統合と OO をどのように組み合わせるのだろうか。term オブジェクトにマルチメソッド ディスパッチを実装したいと思います。

用語オブジェクトと単純な用語がなければ、次のようにして、複数引数のインデックス作成から利益を得ることができます。

しかし、上記は正確なタイプの一致のみを提供します。

サブクラス タイプの一致が必要な場合はどうすればよいですか (excelsior、galaxy など、ケース 2、3、および 4 にも一致する必要がある宇宙船のサブクラスがさらに存在する可能性があります)。

統合とインデックス作成は引き続き使用できますか?

さよなら

PS: 例はここからのもので、Prolog ソリューションはありません:
https://en.wikipedia.org/wiki/Multiple_dispatch

http接続を開くコードを動作させようとしました。ただし、Web ページはプレーン テキストまたは gzip 形式で転送される場合があります。その結果、プラグマティズムのあるコードはプレーン テキストとして開こうとし、失敗して例外を受け取ると、gzip でエンコードされているかのように試みます。

URL は地面への唯一の変数です。たとえば、URL = ' http://releases.llvm.org/6.0.0/tools/clang/docs/ClangCommandLineReference.html ' を試してください。

残念ながら、catch の回復部分は機能しません。

何か提案はありますか？