Logyalk. の無料ダウンロード、ソフトウェアのダウンロードでの Logyalk. のダウンロード-softwaresea.com

オープンソースオブジェクト指向ロジックプログラミング言語 LogTalkは、ほとんどのProlog実装をバックエンドコンパイラとして使用できる成熟したオープンソースオブジェクト指向ロジックプログラミング言語です。 "LogTalk"のいくつかの主な機能は次のとおりです。・述語指令（宣言）は、任意のオブジェクトによって実装され得るプロトコル（インタフェース）内に含まれている可能性があります。・オブジェクト名は、オブジェクトの述語をパラメータ化するために使用できる自由変数を含む複合項であり得る。これにより、パラメトリックオブジェクトのインスタンス化として述語を扱うことができます。すばらしいパラメトリックオブジェクトを通して、任意の数の方法を複合項で関連付けることができます。・同じアプリケーションでは、クラスベースの階層（インスタンス化と専門の関係）とプロトタイプベースの階層（拡張関係付き）を持つことができます。さらに、プロトコル（インタフェース）やカテゴリ（コンポーネント）などの基本的な言語機能は、クラス、インスタンス、およびプロトタイプによって同時に使用できます。・一部の一般的なオブジェクトに根ざした単一の長さの階層に制限される必要はありません。・LogTalkは、Cと同様の方法でプライベート、保護、および公開継承をサポートしています。さらに、任意のエンティティ関係はスコープキーワードを使用して修飾できます。例えば。オブジェクトは個人的にプロトコルを実装することができ、したがってすべてのプロトコルを宣言した述語を非公開にすることができます。・プロトコルデザインに合わせて、オブジェクトの述語の範囲を設定し、ランタイムシステムに選択肢を適用させます。・オブジェクトは静的または動的なものにすることができます。静的オブジェクトは、Prologファイルと同じ方法でコンパイルされロードされているソースファイルで定義されています。動的オブジェクトは、ソースファイルで定義されるか、実行時に作成されます。・静的オブジェクトには、静的述語と動的述語の両方が含まれている可能性があります。・LogTalkは、滑らかな学習曲線の数回の演算子と指令を加算して標準的なProlog構文を使用します。 Prologコードは、ほとんどまたはまったく変更されていないオブジェクト内に簡単にカプセル化できます。さらに、LogTalkは、既存のコードを簡単に再利用するために、ほとんどのプロローグモジュールをLogyalkオブジェクトとして透過的に解釈できます（例えば、図書館）。・スパイイベントが発生したときに述語を暗黙的に呼び出すことができ、オブジェクトカップリングを最小限に抑えるプログラミングソリューションを可能にします。さらに、イベントは行動反映の支援を提供します。・述語はカテゴリ内部のカプセル化できます。これは、コードの重複やオブジェクト階層に関係なく、任意のオブジェクトによって事実上インポートできます。したがって、オブジェクトは、カテゴリの構成によって定義されていてもよく、それは微細に粒子のコードの再利用単位として機能する。・選択したバックエンドProlog Compillerを使用してLogTalkを実行するときに高レベルのマルチスレッドプログラミングが利用可能で、オブジェクトは同期メッセージと非同期メッセージの両方をサポートできます。スレッドの作成と破壊、スレッド通信、またはスレッドの同期の詳細に煩わせることなく、最新のマルチプロセッサおよびマルチコアコンピュータを簡単に利用できます。・LogTalkは、プロトコルと実装の両方のマルチ継承をサポートしています。オブジェクトは複数のプロトコルを実装し、複数のオブジェクトを拡張、特殊化、またはインスタンス化することができます。マルチ継承の競合は、LogTalk Lookup Algorithmsによって暗黙的に、または述語ディレクティブを使用することによって明示的に解決されます。・Logyalkコードは、効率的なPrologコードを書き込むために使用するのと同じ技術を使用してコンパイルされています。さらに、LogTalkは、静的バインディングと動的バインディングの両方（メソッドルックアップキャッシングを使用して）パフォーマンスを大幅に向上させます。いくつかのProlog Compillerのベンチマーク結果はここで利用可能です。・LogTalkは、ISO Prolog Standardに準拠している、または密接に従うPROLOGコンパイラとのスムーズな統合のために設計されています。・最小限の構成ファイルを介して特定のバックエンドPrologコンパイラを使用したLogTalkインタフェースは、最小限のコンパイラと互換性があります。・LogTalkは、コンパイルされたオブジェクト、プロトコル、またはカテゴリごとに、XML形式でドキュメントファイルを自動的に生成します。このシステムには、文書化ファイルを（X）HTMLとPDFに変換するための必要なすべてのXSL（T）ファイルとスクリプトが含まれています。要件：・プロローグこのリリースの新機能：・{} / 1コンパイラBYPASS LogTalk Control Controlを使用して、疑似オブジェクト「ユーザ」のコンテキスト内で実行する必要があるクロージャをラップするためのサポートを追加した（例えば、Prolog Built-in Predicatesへの呼び出し）。・オブジェクトおよびカテゴリ内のuse_module / 2ディレクティブで指定されたモジュールメタ述語への呼び出しをサポートするために、モジュールのメタ述語のセマンティクスを測定する。・明示的に修飾されているモジュールメタ述語への呼び出しをコンパイルするためのサポートを追加しました（バックエンドProllog Compillerによっては、モジュールがロードされている必要があるかもしれません）。・Meta-Predicate Directivesコンパイルのコードクリーンアップ。メタ述語ディレクティブとメタ述語ディレクティブ引数のチェックを締めます。・コール/ 2-N目標の編集の改善。・実行時にコンパイルされているメタコールのパフォーマンスが向上しました。・Lambda発現のない/目標の性能の向上、通常はBAGOF / 3とSETOF / 3の呼び出しで使用されています。・ゴールとして（>>）/ 2λ表現を使用するためのλ表現の誤り誤差チェックと追加のサポートを改善しました。・Lambda式のメタコールコンテキストの処理にバグを修正しました。 ●内蔵ローカルメソッドに対応するオブジェクトにメッセージを送信するときに生成された例外用語でタイプを修正しました。・LogTalkライブラリと例のコンパイルを可能にする書き込み項と書き込みリストの制限を設定するために、CXProllog Configファイルを更新しました（デフォルト値は、コンパイルエラーにつながっています）。さらに、新しい "version_data"フラグを利用して、バージョン0.97.4またはそれ以降のバージョンが必要です。・独自の指令AT_HALT / 1を認識してコンパイルするためにSWI-PROLOG構成ファイルを更新しました。・独自のFOREACH / 2内蔵述語の欠落メタ述語宣言を追加するために、B-Prolog Configファイルを更新しました。・時間/ 1独自の組み込みメタ述語の欠落宣言を追加し、「言語」フラグを「ISO」に設定するコメントをコメントアウトすることで、YAP設定ファイルを更新します。 tこの設定でコンパイルしてください。・時間/ 1独自の組み込みメタ述語と述語SETUP_CALL_CLEANUP / 3の定義を追加して、XSB設定ファイルを更新します（LogTalkマルチスレッディング機能との互換性を復元するため）。・SETUP_CALL_CLEANUP / 3述語の可用性に関する情報を使用して、すべての設定ファイルを更新しました。・Artur Miguel Dias、より多くのサンプルクエリ（非確定的なものを含む）、およびいくつかの単純なベンチマークが寄与して、「ラムダス」の例を拡張しました。・最もサポートされているテキストエディタおよび構文蛍光板のための^ / 2存在量子演算子の構文カラーリングサポートを追加しました。構文カラーリングテストファイルへの^ / 2存在量の量子化子を使用してサンプルコードを追加しました。

Logyalk. 関連ソフトウェア