Logtalk

ソフトウェアのスクリーンショット:
Logtalk
ソフトウェアの詳細:
バージョン: 3.03.0 更新
日付のアップロード: 11 Mar 16
開発者: Paulo Moura
ライセンス: 無料
人気: 24

Rating: nan/5 (Total Votes: 0)

Prologは以来、非常にいくつかの更新で、1972年に戻ってリリースされた汎用ロジックプログラミング言語である。

Logtalkは、プロローグを中心にパフォーマンスの向上、ラムダ式、文法規則、改善されたコンパイルエラーや警告のレポートを、より近代的な機能を追加するために作成されました。

これらの上には、簡単にインストールプロセスとのPrologコンパイラ互換性アップデートを追加します。

このはLogtalk現代のAIやコンピュータ言語学のシナリオ、イベント駆動型と高レベルのマルチスレッドプログラミングに適してはるかに強力なマルチパラダイム言語、中プロローグへのより良い、より適切な代替手段になります。

現在Logtalk構文は、標準的なPrologの構文を拡張し、あなたがこれらのPrologのコンパイラでLogtalkを実行することができます:

B-Prologの

CxProlog

Eclipseの

GNU Prologの

リーンプロローグ

屈原-Prologの

SICStusプロローグ

SWI Prologの

XSB

YAP

このリリースの新機能:

この改良:
コンパイルされたコードを書くときに、ソース・ロケーション・データでコンパイルされた用語を飾るするタイミングを決定するために、これらのタグを使用して生成される中間のPrologファイルのサイズを最小限に抑えるために使用される用語のタグへの変更(現在、唯一のSWI-Prologのは、位置データを利用しています) 。
一定:
ファイルは複数の親ファイルを有することができます。

このバージョン3.02.2の新機能:

この改良:
コンパイルされたコードを書くときに、ソース・ロケーション・データでコンパイルされた用語を飾るするタイミングを決定するために、これらのタグを使用して生成される中間のPrologファイルのサイズを最小限に抑えるために使用される用語のタグへの変更(現在、唯一のSWI-Prologのは、位置データを利用しています) 。
一定:
ファイルは複数の親ファイルを有することができます。

このバージョン3.02.1の新機能:

この改良:
コンパイルされたコードを書くときに、ソース・ロケーション・データでコンパイルされた用語を飾るするタイミングを決定するために、これらのタグを使用して生成される中間のPrologファイルのサイズを最小限に抑えるために使用される用語のタグへの変更(現在、唯一のSWI-Prologのは、位置データを利用しています) 。
一定:
ファイルは複数の親ファイルを有することができます。

このバージョン3.00.4の新機能:

この改良:
コンパイルされたコードを書くときに、ソース・ロケーション・データでコンパイルされた用語を飾るするタイミングを決定するために、これらのタグを使用して生成される中間のPrologファイルのサイズを最小限に抑えるために使用される用語のタグへの変更(現在、唯一のSWI-Prologのは、位置データを利用しています) 。
一定:
ファイルは複数の親ファイルを有することができます。

このバージョン3.00.2の新機能:

この改良:
コンパイルされたコードを書くときに、ソース・ロケーション・データでコンパイルされた用語を飾るするタイミングを決定するために、これらのタグを使用して生成される中間のPrologファイルのサイズを最小限に抑えるために使用される用語のタグへの変更(現在、唯一のSWI-Prologのは、位置データを利用しています) 。
一定:
ファイルは複数の親ファイルを有することができます。

このバージョン3.00.1の新機能:

この改良:
コンパイルされたコードを書くときに、ソース・ロケーション・データでコンパイルされた用語を飾るするタイミングを決定するために、これらのタグを使用して生成される中間のPrologファイルのサイズを最小限に抑えるために使用される用語のタグへの変更(現在、唯一のSWI-Prologのは、位置データを利用しています) 。
一定:
ファイルは複数の親ファイルを有することができます。

このバージョン2.44.1の新機能です:

このは最初のメタ引数が正しく処理されることになるだけmeta_non_terminal / 1ディレクティブのコンパイルのバグを修正しました。
Windowsの64ビットシステム上で動作しているときに検出し、1 / libのディレクティブを前処理する際、非述語とノンオペレーターの輸出を無視するようにEclipseの設定ファイルを更新しました。
失敗したユニットテストのために、より有益なメッセージを印刷するユニットテストフレームワークを更新しました。
追加された述語は&QUOTに(与えられた長さのサブリストにリストを分割するための)/ 4を分割する。listp&QUOT ;,"リスト&QUOT ;,および" difflist"ライブラリの実体。
CC"&QUOTを更新しました。 CxProlog用のシェル/ 2述語の定義と例。
マイル"&QUOT内のオブジェクトの名前を変更しました。例えば、ユニットテストを実行する際に名前の競合を避けるために、例。
YAP 64ビットバージョンの検出を防止し、Windowsのインストーラのバグを修正しました。バグレポートのためのステパンIpatovに感謝します。

このバージョン2.44.0の新機能です。

このリリースは、その使用は、既存のオブジェクトコードにパッチを適用することができ、カテゴリを補完の意味を変更するメタの処理に2つのバグが修正されていコー​​ルは、DCG規則の本体に端末のオープンリストを可能にする二つの新しい例を追加し、Vimのテキストエディタのためとあふれんばかりのctagsのためのサポートを向上させます。

このバージョン2.43.3の新機能です:

このは、エンティティの存在の例外をスローすると、内部エンティティ識別子を逆コンパイルすることができなかったLogtalkコンパイラのランタイム・ハンドラのバグを修正しました。
内部Logtalkランタイムテーブルによって使用される動的述語の一部のためのインデックス/ 1ディレクティブを追加し、リーンPrologの設定ファイルを更新しました。
ジャストインタイムの多引数のインデックス作成のための新しい実験SWI-Prologのサポートによって非難され、インデックス/ 1ディレクティブの可用性をテストするためにSWI-Prologの統合ファイルを更新しました。
追加され、ライブラリ&QUOTにサブ/ 4(指定した長さのリストのサブシーケンスを生成するため)、(リスト内の要素を交換するため)/ 4を代入し、hamming_distance / 3述語、listp"そして"リスト"エンティティ。
numberlistp"ライブラリ&QUOTにeuclidean_norm / 2、chebyshev_norm / 2、manhattan_norm / 2、euclidean_distance / 3、chebyshev_distance / 3、manhattan_distance / 3、およびscalar_product / 3述語を追加しました。そして" numberlist"エンティティ。
文字"&QUOTの定義の中にいくつかの愚かなバグを修正しました。ライブラリオブジェクト述語is_bin_digit / 1は、/ 1をis_dec_digit、およびis_hex_digit / 1、/ 1をis_octal_digit。
更新されたライブラリー" all_loader.lgt" meta_compiler_loader.lgt"ローダーファイルも&QUOTをロードします。ローダー・ファイル。

このバージョン2.43.2の新機能である:ソースファイルをコンパイルし、動的に新しいエンティティを作成するときに

このは、オペレータ宣言の処理を最適化しました。
モジュール"&QUOTを使用するようにLogtalkコンパイラを更新しました。コンパイラフラグこのようにモジュールシステムをサポートしていますが、まだ定義されていないバックエンドのPrologコンパイラでコンパイルの問題を回避、Prologのモジュールのサポートのためにテストする場合:内蔵の制御構築物または述語として/ 2を()。
startup_message"&QUOTサポートが削除されました。コンパイラフラグ"フラグ(コンパクト)"そして"(冗長)フラグ"単一の値で置き換えられた値、"フラグ&QUOT ;,古い&QUOTに対応し、フラグ(コンパクト)"値。
OP / 3 create_protocol / 3とディレクティブ、CREATE_OBJECT / 4、およびローカルオペレータの宣言は、新しい事業体の外に見えるだろうCREATE_CATEGORY / 4組み込み述語を使用するときにバグを修正しました。
エンティティが廃止されたときに廃止されることはない、もはや使用簿記動的な述語を定義し、実行時に新しい動的エンティティを作成するバグを修正しました。
スーパー"&QUOTコンパイラのバグを修正しました。自身のみをインスタンス化し、任意のオブジェクトが失敗の代わりに例外をスローする専門としないオブジェクト内から呼び出します。
ベンチマーク"&QUOTを更新しました。各テストのための秒ごとのコールの合計数を計算するときに、算術演算例外から保護するために、例。遅いバックエンドのPrologコンパイラで長い計算時間を避けるためにユニットテストを実行する際のベンチマークテストの繰り返しの数を減少させました。

このバージョン2.43.1の新機能:

このビルトインメソッドデータベースへの呼び出しをコンパイルするときに考慮に用途/ 2ディレクティブを取るようにコンパイラを変更しました。この変更は、用途/ 2ディレクティブの意味を拡張し、無地のPrologアプリケーションからLogtalkに簡単に移行できます。
coinductive / 1ディレクティブの引数として述語テンプレートを使用するための実験的なサポートを追加しました。このテンプレートは、引数がcoinductive成功のために有意義であると指定することができます。同様の機能に基づいて、Feliks KluzniakのDRAメタインタプリタ上に見つかりました。
Logtalk内蔵のデバッガを使用している場合coinductive述語をデバッグするためのサポートが強化されました。
CxPrologためcoinductionサポートを削除しました。このコンパイラの現在のバージョンは、現在、実験coinductionの実装によって必要とされている内蔵述語や制御構文ソフトカットを欠いています。
ゴール引数は^ / 2存在記号を使用することができるたびにbagof / 3およびSETOF / 3ビルトインメソッドのラッパー・述語のユーザー定義を防ぐ長年の制限を解除しました。
^"&QUOTのサポートが追加されました。メタ述語のメタ引数モード指定子月Wielemakerによって提案されたとSWI-Prologの5.11.25に見つかりました。組み込みメソッドゴール引数は^ / 2存在記号を使用することができるたびにbagof / 3およびSETOF / 3のラッパーを定義するときに、このモード指定子が便利です。
追加されました" prolog_compiler"そして" prolog_loader"内蔵ディスクにコンパイルして(コンパイル)のPrologフラグをロード述語バックエンドのPrologコンパイラにオプションを渡すことはできコンパイラフラグ、。両フラグのデフォルト値は空のリストです。
内蔵Logtalkコンパイラが目標として非メタ引数を処理しようとする可能性があり、メタ述語Prologの独自の呼び出しをコンパイルするときのバグを修正しました。このバグは、EclipseなどのいくつかのバックエンドのPrologコンパイラで自分自身を明らかに。
条件付きコンパイルディレクティブの処理のバグを修正しました。
CREATE_OBJECT / 4への呼び出し、CREATE_CATEGORY / 4、およびcreate_protocol / 3組み込み述語のエイリアス/ 3ディレクティブを渡しできなかったバグを修正しました。
logtalk"ビルトインオブジェクト&QUOTから削除。 decompile_predicate_head / 4およびdecompile_predicate_indicator / 4非推奨のメソッド。
長い非推奨Logtalk metapredicate / 1ディレクティブのサポートを削除しました。
パラメトリックカテゴリで作業する場合、キャッシュされたエントリが必要以上に特異的である可能性がカテゴリ述語への呼び出しをキャッシュする際のパフォーマンスのバグを修正しました。
スーパー"&QUOTの改善されたキャッシング。プロトタイプ内から呼び出します。セルフ"以前は、すべてのキャッシュされたエントリは&QUOTの値によって特化されます。正しくオブジェクトが他のオブジェクトをインスタンス化し、専門に両方の特殊なケースに対処するためです。
ディレクティブが含まれているエンティティのコンパイル時に述語のスコープディレクティブで見つかった任意の演算子の宣言を有効にするにはLogtalkコンパイラを更新しました。
ソフトカット対照構築物を提供するが、内蔵メタ述語(/ 3の場合)、ソフトカットを提供しないようなSICStusプロローグなどのバックエンドのPrologコンパイラを使用した場合coinductive述語のパフォーマンスを改善しました。
ソースファイルがコンパイラフラグ&QUOTでロード/コンパイルされたとき、コンパイル/ロード警告のスプリアスレポートを印刷することができたバグを修正しました;レポート"オフ。
追加されました" streamvars" assignvars"既存&QUOT由来ライブラリオブジェクト、。ストリーム"&QUOTから(変数であってもよい)の用語を追加して検索するためのサポートを備えたライブラリのカテゴリ、。変数。
coinduction"&QUOTを更新しました。例えば、強化されたcoinductive / 1ディレクティブを利用することとSICStusプロローグを使用して実行することができ、個々の例の数を広げます。 coinduction、coroutining、および制約を使用して、例をモデル検査を追加しました。
metapredicates"&QUOTを更新しました。メタ引数は存在的修飾された変数が含まれている可能性がある場合bagof / 3およびSETOF / 3ビルトインメソッドのためのラッパーを定義する方法を示すサンプルコードで例。
CC"&QUOTを更新しました。例えば、いくつかのバックエンドのPrologコンパイラの述語の定義を修正し、いくつかの基本的なユニットテストを追加。
エンコード"&QUOTを更新しました。リーンPrologのための限定的なサポートを持つ例。
助け" meta_non_terminal / 1ディレクティブのため、コール// N&QUOTへの非端末の不足しているエントリを追加しました。例。
ロバートSasakで貢献、PDDL 3.0ファイル用のパーサーを追加しました。
SubEthaEditテキストエディタにサポートを折りたたみ、コードを追加しました。ケイトは、VimとTextMateのテキストエディタに条件付きコンパイルブロックのためのコード折りたたみサポートを追加しました。
ライブラリパスがLogtalkコンパイラ/ランタイムをロードする前にファイルをロードするために、統合スクリプトを更新しました。この変更は、設定ファイルからライブラリとサンプルファイルのロードを簡素化することを目指しています。 LOGTALKHOME環境変数が定義されていないときに加えて、$ HOME /シェアのLogtalkのインストールディレクトリを探します。
リーンプロローグをサポートし、YAP 64ビットバージョンを検出するには、Windowsインストーラを更新しました。

このバージョン2.43.0の新機能です:

このリーンPrologのための実験的なサポートを追加しました。
宣言された述語への呼び出しの前に不連続/ 1およびダイナミック/ 1指令を強制Logtalkコンパイラの制限を削除しました。
文法規則における非端末にスペルミスのコールのLogtalkコンパイラレポートを改善しました。
文法規則の本体に/ 1対照構築:の使用を許可します。
用途/ 2ディレクティブで指定されたメッセージをデバッグする場合、メッセージは、現在のユーザによって書かれたソースコードのように暗黙的に修飾印刷されています。
生成されたプロローグコードの逆コンパイルを必要とする高レベルのデバッグツールとの統合を容易にするために、内蔵のマルチスレッド述語の実装で使用される内部述語を変更しました。
例外のテストはユニットテスト仕様に準拠したとして任意の例外用語を受け入れるlgtunit&QUOT ;,、ユニットテストのためのライブラリのサポートのバグ、&QUOTを修正しました。
CC"&QUOTを更新しました。 Eclipse用のバグ修正と改良を加えた例では、(内蔵述語SWI-Prologのabsolute_file_name / 3への最近の変更に起因する)expand_path / 2述語のSWI-Prologの実装のバグ修正と、とで、ヨアヒムSchimpfで貢献しましたB-Prologのためのcommand_line_arguments / 1述語の定義。
coinduction"&QUOTを更新しました。例えば、いくつかのより多くの個々の例を追加。
xml_parser"&QUOTを更新しました。 GNUプロローグと移植性の問題を回避するために貢献。
#/ binに/ bashの"いくつかのシェルスクリプト&QUOTのバグを修正します。 #!/ binに/ bashの]である。;の代わりに&QUOTを使用しましたバグレポートのためのYiorgos Adamopoulosに感謝します。
管理者以外のユーザーによって完全インストールを可能にするためにのInnoセットアップGUIのWindowsインストーラスクリプトを更新しました。
ISO Prologのディレクティブを追加しました構文の色分けのサポートは、すべてのサポートされているテキストエディタと構文蛍光ペンに/ 1が含まれます。
その使用を防止GeditのLogtalkスニペットのトリガー]タブでいくつかのバグを修正しました。
FOPは、ページの一部の内容を切り捨てとしてユーザー・リファレンス・マニュアルのPDFバージョンを生成する際にFOPの代わりにXEPを使用してに戻します。

このバージョン2.42.4の新機能です:

このはに、entity_prefix / 2述語とユーティリティ述語の二組、decompile_predicate_heads / 2-4とdecompile_predicate_indicators / 2-4を追加しました" logtalk"ビルトインオブジェクト。廃止予定としてdecompile_predicate_head / 4およびdecompile_predicate_indicator / 4をマーク。
事業者のためのスコープ情報を保存するためのサポートが追加されましコンパイル時にスコープディレクティブを使用して宣言しました。ファイルを文書XMLに演算子を宣言したエンティティに関する情報を追加しました。オペレータ情報をプリントアウトするには、テキスト、PDF、および(X)HTML変換スクリプトを更新しました。
Logtalkコンパイラ/ランタイムにいくつかの低レベルの最適化を適用します。
Prologのコンパイラに依存する微パフォーマンス・チューニングをサポートするために、Prologの設定ファイルにコンパイラから述語実行コンテキストを構築し、アクセスする内部述語を移動しました。
ティモンヴァンOverveldtによって提案term_variables / 2内蔵の述語に基づいて、小さなパフォーマンスの最適化を使用するために、ねじ付き/ 1マルチスレッドの組み込み述語の実装を更新しました。この最適化は、不要なコピーや用語の統一を削減することを目指しています。加えて、パフォーマンスを向上させ、内蔵述語の両方のマスタとスレーブのスレッドの処理を簡略化することにより、キャッチ/ 3、とsetup_call_cleanup / 3の組み込み述語の使用を交換してください。
ゾンビスレッドをもたらすであろう独立した-並列処理を使用しようとしたときに、ユーザによる失敗が独立した目標を指定するためのネジ付き/ 1マルチスレッドの組み込み述語の実装のバグを修正しました。
同期のような動的または動的述語として同期述語を宣言しようとするより有益例外条項。
オブジェクトとしてのモジュールのコンパイルをサポートするために、XSBの設定ファイルを更新しました。行方不明setup_call_catcher_cleanup / 4の組み込み述語の定義を追加しました。 XSB 3.3(またはそれ以降のバージョン)についてLogtalkとの互換性のために必要とされます。
arithmetic_function / 1独自のディレクティブ(算術関数は、グローバルの代わりにそれらを定義するオブジェクトやカテゴリのようなローカルとしてコンパイルされている)のための限定的なサポートを提供するために、SWI-Prologの設定ファイルを更新しました。
style_check / 1ディレクティブを無視し、set_prolog_flag / 2ディレクティブとyap_flag / 2ディレクティブを解釈するために、YAPの設定ファイルを更新しました。
FOPするXEPから(ユーザー・リファレンス・マニュアルのPDFバージョンを生成するために使用される)デフォルトのXSL-FOプロセッサを変更しました。
xml_parser"&QUOTを更新しました。屈原-プロローグ、SICStusプロローグ、およびXSBで移植性の問題を回避するために貢献。
エンコード"&QUOTを更新しました。エンコード/ 1ディレクティブの前に空白がないことを確実にするための例。
attvars"&QUOTを更新しました。 B-プロローグとXSBをサポートするために、例。またLogtalkパラメトリックオブジェクトとパラメトリックのカテゴリーに起因する変数を使用するためのサポートを追加しました。フィードバックや実装の提案のためのヤンWielemaker、VAtorサントス・コスタ、とバートDemoenに感謝します。
プロファイラ"&QUOTを更新しました。 SICStusプロローグ4.2バージョンで実行プロファイリングへの変更のための予備的なサポートと例。
拡張"&QUOTを更新しました。別のフックオブジェクトからTERM-とゴール拡張定義を組み合わせる方法の詳細サンプルコードで例。
coinduction"&QUOTを更新しました。例えば、実験keysort / 2 coinductive述語を追加します。提案のためのヤンブルサに感謝します。
更新" TAK"不足しているカットがSWI-Prologのを使用した場合に迅速による不要な選択ポイントの非常に多数の創造にローカル・スタックを排出す​​ることになる例をマルチスレッド。
mtbatch"&QUOTを更新しました。 TAK"&QUOTの拡大ベンチマークを提供するために例をマルチスレッド。例。
MacPortsののportfileとMacPortsのことで段階的に廃止されているMD5チェックサムの計算を除去するためにそれを更新するスクリプトを更新しました。
アンインストール手順は、WindowsのレジストリからSWI-Prologのキーを削除することができないSWI-PrologのWindowsのインストーラのバグを回避するために、のInnoセットアップGUIのWindowsインストーラスクリプトを更新しました。

このバージョン2.42.3の新機能です:カテゴリで宣言された動的な述語は&QUOTでます。

と呼ばれることを許可します。この"カテゴリ内から。セルフ"以前のバージョンでは、このような呼び出しは、&QUOTで呼ばれるように、これらの述語を強制的に、コンパイル時エラーをもたらすであろう。 (コントロールコンストラクトを送信:: / 1メッセージを使用して)。
({} / 1対照構築物を使用して)、プリコンパイルされた句の頭を追加しましたLogtalkコンパイラのサポート。用語-膨張機構を使用している場合、この機能は特に便利です。
文法規則のコンパイルによって生成された述語句を簡素化したコードにバグを修正しました。文法規則は、メタ変数を含まれているコードだろうループ、違法としてLogtalkコンパイラべき(ただし、現在は行いません)レポート(コール/ 1対照構築物は、このような場合に代わりに使用する必要があります)。
擬似オブジェクト&QUOTのコンテキストでのコールのコンパイルを簡略化し、ユーザー]です。
P"デバッガ・コマンド&QUOTを追加しました。 Logtalkに内蔵のデバッガ。このコマンドは、利用可能な場合、印刷/ 1述語を使用して、現在の目標を印刷します。 Q"デバッガ・コマンド&QUOTの名前を変更しました。 QUOTに&する; Q&QUOTを;.ワット"デバッガ・コマンド&QUOTバグを修正しました。認識されないだろう。 D"デバッガ・コマンド&QUOTを変更しました。必要なときに用語を引用します。
Eclipseの設定ファイルにISO Prologのpredicate_property / 2述語の部分的な実装を追加しました。
ビルトインとしてメタ述語のメタ述語は、時間/ 1、/ 2をdde_register_service、及び時/ 2ライブラリの誤宣言を除去するために、SWI-Prologの設定ファイルを更新しました。
フラグ"&QUOTにバグフィックスを適用します。貢献は、その作者、Theofrastos Mantadelisによって使用可能になります。 GNUプロローグとの互換性の問題を回避。
SETP" memberchk / 2ライブラリ&QUOTに述語を追加しました。プロトコルと"設定"オブジェクト。追加された述語は、ライブラリ&QUOTにis_newline / 1、/ 1をis_control、およびis_end_of_line / 1; characterp"そして"文字"エンティティ。
Logtalkオ​​ブジェクトおよびカテゴリ内の帰属の変数を使用しての実験例を追加しました。現在、バックエンドのPrologコンパイラとYAPまたはSWI-Prologのを使用する必要があります。
制約/ sicstus"&QUOTにindexicalsのサポートが追加されました。例。
デリゲート"&QUOT拡張。パラメトリックオブジェクトを使用して委任者のサンプル実装を持つ例。
拡張" dynpred" QUOT&のコンテキストで動的述語を扱うカテゴリ述語を定義する方法を説明するために、例えば、この"そして&QUOTの文脈では、自己]です。
CC"&QUOTにWALL_TIME / 1述語を追加しました。例。
不足している真/ 0、失敗/ 0制御構文を追加し、テストファイルを構文ハイライトを更新しました。

このバージョン2.42.2の新機能です:

この&QUOTに述語をインポート必要とせずに、モジュールの述語プロパティをチェックできるようにするためにLogtalkコンパイラを更新しました;ユーザー" (モジュールがまだモジュール述語を呼び出すソースファイルをコンパイルする前にロードする必要があること、しかし、注意してください)​​。
一般的なプログラミングエラーのためコール/ 2-Nの目標にコンパイル時にインスタンス化クロージャの引数をチェックするためにLogtalkコンパイラを更新しました。
自由変数またはラムダパラメータのいずれかとして、または自由変数とラムダの両方のパラメータとして宣言された変数で宣言されていない変数を持つラムダ式の警告を生成するためにLogtalkコンパイラを更新しました。これらの健全性チェックを示唆するためのヤンブルサに感謝します。
&#x3cを使用してサポートするためにLogtalkランタイムを更新しました;&#のx3c; / 2の制御は、メタ述語の閉鎖メタ引数を構築します。
(自動的に補助述可能な限りを生成することにより)フリー/目標ラムダ式の呼び出しをコンパイルするためのサポートが追加されました。
logtalk]である。; SWI-Prologの中で同じ名前を持つ述語に基づいてcompile_aux_clauses / 1のpublicメソッドは、組み込みのオブジェクト&QUOTに、追加しましたこの方法は、通常、拡大の目標をサポートするために生成された補助句をコンパイルするためにgoal_expansion / 2フックから呼び出されます。
Logtalk組み込みの方法として、メタ述語組み込み述語のようないくつかのPrologコンパイラによって実装/ 1を、無視して追加しました。
Logtalkから述語プロパティを照会するときに、モジュールライブラリの自動ロードを防止するために、SWI-Prologの設定ファイルを更新しました。
述語は、ISOの組み込み述語として/ 2をterm_variables利用できるようにするために、ク - プロローグ、SICStusプロローグ、およびXSBの設定ファイルを更新しました。
起動時のクラッシュを解決し、Logtalkコンパイラ/ランタイムをコンパイルするためのヒープサイズの値を倍にするために、ク-Prologの統合スクリプトを更新しました。
(;スクリプト/ MacOSXは/ command_files /サポートされていない"フォルダ&QUOTから上に移動)GNU PrologのためのMacOS Xコマンド・ファイルを復元。
メタ"を追加しました述語は、ライブラリオブジェクト&QUOTへ/ 4-5 findall_member。 (リチャード・オキーフのドラフトのPrologライブラリの提案に基づきます)。 1 /呼び出し可能な述語の宣言と定義を削除し、ライブラリエンティティ&QUOTから/ 1を無視するのMetAP"そして"メタ" (; / 1は、現在Logtalk組み込みメソッドで無視/ 1呼び出し可能なサポートされているすべてのPrologコンパイラに組み込まれている述語があります)。
ライブラリオブジェクトが追加されました、" meta_compiler&QUOT ;,ライブラリオブジェクト&QUOTで定義されたメタ述語の呼び出しを展開するフックオブジェクトとして使用することができる;メタ"メタコールのオーバーヘッドを回避するためです。メタ述語の呼び出しは最適化することができないような場合には、&QUOT上のデフォルトの定義;メタ"オブジェクトが使用されます。メタ引数として制御構文を使用すると、(まだ)サポートされていません。進行中の作業。
loggingp&QUOT ;,およびカテゴリとオブジェクトの実装、"プロトコル、&QUOTを追加しましたロギング"そして"ロガー&QUOT ;,ライブラリにファイルにイベントを記録するための基本的な機能を宣言し、定義します。
intervalp&QUOT ;,およびオブジェクト、"プロトコル、&QUOTを追加しましたインターバル&QUOT ;,(ジェームス・F.アレン間隔代数の作業に基づいて)ライブラリに、基本的な時間的間隔の関係を宣言し、定義します。
ライブラリに;,カウンター"という名前の整数カウンタを実装するカテゴリ、&QUOTを追加しました。
QUOTリスト&QUOT ;,および&; listp&QUOT ;,"を追加しました述語は、ライブラリの実体&QUOTへ/ 2およびproper_suffix / 2をproper_prefix difflist]です。
ライブラリオブジェクト&QUOTに追加された述語トランスポーズ/ 2;ペア]です。
テスト目的のための2つの擬似例を追加しました、" lambdas_compiled"そして" metapredicates_compiled&QUOT ;,新しいライブラリオブジェクトを利用すること
" meta_compiler]です。
拡張"&QUOTを更新しました。フックオブジェクトを定義し、組み合わせる方法を説明するための例。
Logtalkソー​​スコードとアレックスGorbatchevによってSyntaxHighlighterパッケージ(バージョン3.0.83以降)を使用するためのサポートが追加されました。
GNUソース・ハイライトハイライトのサポートへ/ 0の条件付きコンパイル・ディレクティブ、他の不足しているシンタックスカラーリングを追加しました。
無料MacOS XのKODのテキストエディタで利用可能なLogtalkテキスト編集サポートにノートを追加しました。
サポートされているすべてのテキストエディタと構文蛍光ペンを無視/ 1新しい組み込みメソッドの構文の色付けのサポートが追加されました。

このバージョン2.42.1の新機能です:

このは/ 1ダイナミックで不連続/ 1述語ディレクティブが欠落して検出し、報告するためのLogtalkコンパイラにサポートを追加しました。
すべての設定ファイルに;,警告"新しい糸くずフラグを追加しました、" QUOT&のデフォルト値を持つmissing_directives&QUOT ;,。このフラグは、ダイナミック/ 1、不連続/ 1、およびマルチ/ 1述語ディレクティブが欠落するためのコンパイラの警告の印刷を可能にします。
目標のリストについては、述語指標のリストについては、[/]、(/)述語インジケータ用、および[0]:新しいメタ述語テンプレートモード表示のサポートが追加されました。
&QUOTエラーのメタ述語句の頭をチェックLogtalkコンパイラのバグを修正し、::"メタ引数モード指標は依然として&QUOTとして解釈されていました。0]です。
構築物または間違った文脈でいくつかのメタ引数を呼び出すにつながる可能性が組み込み述語を制御するための呼び出しを構築するために使用される(メタ呼び出しで)クロージャの取り扱いのバグを修正しました。 SWI-Prologのメーリングリストでの説明例えばウルリッヒNeumerkelに感謝します。
拡大"&QUOTへの参照が不足しているに関する印刷警告を回避するために、Logtalkコンパイラを更新しました。そして"モニタリング"ビルトインのプロトコルオブジェクトとしてモジュールをコンパイルするとき。
許可されたバージョン2.39.2の変化を差し戻し擬似オブジェクト"のユーザー"事実上すべてのPrologの組み込み述語の定義が含まれているとします。これはQUOT&のコンテキストでメタ述語を呼び出す特別なときに、バックエンドのPrologコンパイラに応じて異なる結果につながる可能性があり、ユーザー]です。
swihooks.lgt" SWI-Prologの&QUOTのバグを修正しました。同じディレクトリに同じ名前のLogtalkソー​​スファイルがある場合にPrologのファイルを調べるときに、無効なLogtalkフラグについての偽のエラーメッセージが表示されましたファイル。
内蔵メタ述語B-プロローグ、SICStusプロローグ、SWI-Prologの、XSB、およびYAPの設定ファイルに独自のために不足しているのサポートが追加されました。
内蔵述語相談/ 1およびload_files / 2のメタ述語のテンプレートを上書きするためにSICStusプロローグ、SWI-Prologの、およびYAPの設定ファイルを更新しました。
メタ]である。;ライブラリオブジェクト&QUOTにmap_reduce / 5、メタ述語の実装を追加しました
CC"&QUOTにcommand_line_arguments / 1述語の実装を追加しました。例。
ラムダ"&QUOTを更新しました。そして" metapredicates"メタ述語左倍を使用してフィボナッチ数を計算する方法を示す例、。 metapredicates"&QUOTを更新しました。 map_reduce / 5、メタ述語の使用例と例。
problog"&QUOTを更新しました。例えば、新たな注釈付き選言構文について予備的サポートを追加。
マジック"&QUOTを追加しました。 freedesktop.org共有MIME-情報データベースのLogtalk MIMEタイプファイルに要素。

このバージョン2.42.0の新機能です:

このは永続オブジェクトフラグの実装を追加しました。
プロトコルの実装関係の推移閉包を実装し、組み込み述語、conforms_to_protocol / 2-3の新しいペアを追加しました。
このようなProbLogやCHRなどの他の言語とのLogtalkの統合を支援するための実験的な指示、注釈/ 1を、追加しました。
クラス階層のルートとして使用すること(も)に、スタンドアローンのオブジェクトを許可された以前のリリースでの変更を差し戻し。
以下からのパブリックメソッドとして利用できる低レベルのユーティリティ・述語の集合を定義" logtalk"ビルトインオブジェクト。常にプロトタイプとしてそれを解釈するために、このオブジェクトの(仮想)コンパイルを修正しました。
簡体字および改善された動的結合性能が得られ、述語ルックアップキャッシュコードのパフォーマンスを向上させました。新しい述語のための句をアサート時/ 1およびassertz / 1 assertaの組み込​​み方法の性能をandimproved簡略化されました。ビルトインメソッドを使用している場合/ 1を撤回及び/ 1をretractall動的に定義された述部の内部テーブルの更新を簡素化されました。新しいエンティティを作成するときに使用されるコンパイラコードが簡略化されました。
dynamic_declarations"&QUOTの意味を変更しました。フラグオブジェクトにasserta / 1またはassertz / 1メッセージを送信するときにのみチェックされますように。
新しい述語のための句のローカルアサートは現在、常に許可されています。
また、局所的なダイナミック述語の廃止をサポートするために、組み込みメソッド廃止/ 1の実装を更新しました。
補助コンパイル述語の冗長クリーニングを回避することにより、ソースファイルのコンパイルのパフォーマンスを改善しました。
&QUOTの発生を解釈するためにLogtalkコンパイラを修正しました;:" ::"と&QUOT同等としてモジュールメタ述語ディレクティブで。 QUOT&の代わりに; 0" Logtalkにおけるメタ述語ディレクティブ。この変更は、メタ述語のディレクティブのための事実上の標準化のための現在の傾向に従いますが、まだいくつかのPrologコンパイラの問題です。 ; Logtalkは、メタ述語またはそのテンプレート&QUOT含まPrologのmodulemeta-述語の組み込みのPrologの呼び出しコンパイルexceptionwhenスローされます。&QUOTを。メタ引数指定子。
















同じようなソフトウェア

Julia
Julia

1 Oct 15

Lisphp
Lisphp

13 May 15

Ejscript
Ejscript

11 Mar 16

Racket
Racket

10 Feb 16

開発者の他のソフトウェア Paulo Moura

Logtalk
Logtalk

14 Apr 15

へのコメント Logtalk

コメントが見つかりません
コメントを追加
画像をオンにする!