Logtalk

ソフトウェアのスクリーンショット:
Logtalk
ソフトウェアの詳細:
バージョン: 3.38 更新
日付のアップロード: 4 May 20
開発者: Logtalk
ライセンス: 無料
人気: 25
サイズ: 20008 Kb

Rating: 4.0/5 (Total Votes: 4)


        Logtalkは、ほとんどのProlog実装をバックエンドコンパイラとして使用できるオブジェクト指向のロジックプログラミング言語です。 Logtalkは、マルチパラダイム言語として、プロトタイプとクラス、プロトコル(インタフェース)、カテゴリベースの構成によるコンポーネントベースのプログラミング、イベント駆動型プログラミング、および高水準のマルチスレッドプログラミングをサポートしています。
    

*改善:実際のメタコールが変数を節点と共有していない場合、偽の `meta_predicate / 1`ディレクティブ警告を避けるようにします。


*改良: `call // 1 'ラッパーを必要とせずにラムダ式を文法規則で使用できるようにしました。


* FIXED:結果述語がユーザー述部定義のインライン化のためにProlog組み込み述部への呼び出しである場合に、クロージャーメタ引数のコンパイルにおける最適化バグ。


* FIXED:結果のゴールがProlog `:/ 2`コントロール構造体への呼び出しであるとき、クロージャーメタ引数のコンパイルにおける最適化バグ。

バージョン3.19の新機能:

* ADDED:lintのための追加のProlog組み込み述部の定義のサポート
アダプター・ファイルに対する常に真または偽のゴールのチェック
フック述語 `'$ lgt_candidate_tautology_or_falsehood_goal_hook' / 1`を実行します。


* ADDED:コンパイル結果のオブジェクトのオブジェクトプロパティー `module`
Prologモジュールの


* ADDED:組み込みのメソッド `syntax_error / 1`と`
`system_error / 0`。これらのメソッドは標準的な `error / 2`例外条件を投げます
`context / 1`と` throw / 1`メソッド呼び出しのシーケンスと等価です。


* REMOVED:廃止予定のLogtalk 2.x `calls / 1`、` uses / 1`、および
`エイリアス/ 3`指令。


* REMOVED:廃止予定のLogtalk 2.x `:/ 1`制御構造のサポート。


* REMOVED:廃止予定のLogtalk 2.xの `unknown`、` singletons`、
`tmpdir`と` version`コンパイラのフラグです。

バージョン3.14の新機能:

*改良:コンパイラの警告とエラーメッセージをより均一にして、エディタやIDEの解析を容易にし、潜在的に大きな用語を印刷しないようにする。


*改良:コンパイラはデータベースとリフレクション述部への呼び出しを必要としません。最初の引数は `{} / 1`コンパイラバイパス制御構造を使用してラップされるモジュール修飾項です。


*改良:データベースとリフレクションの述語呼び出しのコンパイルエラーチェック。最初の引数がモジュール修飾語です。


*改善: `logtalk_make / 0-1`述部への呼び出しによってトリガーされるファイルの再ロードの回数を最小限に抑えます。


* FIXED: `logtalk_make / 0-1`述語でコンパイルエラーが発生したファイルをリロードできない場合

バージョン3.11の新機能:

*変更:組み込みの述語 `current_event / 5`は、アンバインドされた状態で呼び出されたときに最初の引数を常にインスタンス化します。


* ADDED:デフォルトのスクラッチ・ディレクトリーを
バックエンドProlog初期化ファイルのライブラリの別名 `scratch_directory`
(Logtalkロードの前にロードされていると仮定)。討論の後
Douglas R. Milesは、読み取り専用ディレクトリにLogtalkをインストールすることをサポートしています
競合することなく複数のLogtalkインスタンスを同時に実行できます。


* ADDED:アクセスを提供するための `context / 1`組み込みのコンテキスト実行メソッド
述語呼び出し実行コンテキストに送る。主にデフォルトを提供するために使用されます
述語引数の型チェック時にエラーコンテキスト。


* ADDED:種類 `debug`と` debug(_) `のメッセージの出力をサポートします。これら
`debug`フラグがオンになっているときにのみ、メッセージはデフォルトで表示されます。


* ADDED:プロパティは `logtalk :: loaded_file_property / 2`に`(ファイル) `を含めます
バックトラックによって列挙されるすべてのファイルを列挙できるようにする述語

バージョン3.10.7の新機能:

* RENAMED: `logtalk_make / 1`ターゲットが` check`に `missing 'しています。


* ADDED:ユーザ定義の `logtalk_make / 1`ターゲットを拡張するためのサポート
新しいmultifile述語 `logtalk_make_target_action / 1`を使ったアクション。


* ADDED:コンパイラlintは、トートロジーと偽のエンティティの目的をチェックします。
現在チェックされているのは、Prologの統一、比較、タイプの呼び出しです
組み込み述語のテスト。

* FIXED:meta-calling実行コンテキスト組み込みメソッドのリリース3.10.2で回帰が導入されました。

* FIXED:Prologの組み込み述語や補助節にある関数(通常は用語拡張メカニズムによって生成される)への呼び出しに移植性チェックを適用した結果、コンパイラの障害が発生します。

バージョン3.10.3の新機能:

*改善:マルチファイル述語用に生成された簡略化されたコード。


* FIXED:マルチファイルのコンパイルにおける以前のリリースの回帰

バージョン3.09.1の新機能:

* ADDED: `number_of_rules / 1`と` number_of_user_rules / 1`オブジェクトのサポート
カテゴリのプロパティ。


* ADDED: `number_of_rules / 1`述語プロパティのサポート。


* ADDED:ゴールを間違って指定している `meta_predicate / 1`ディレクティブの検出
実際には `call / 2-N`メタ述語に渡されるクロージャであるメタ引数
コール。報告書のArun Majumdarに感謝します。


* ADDED:存在しない述語スコープ・ディレクティブの検出
バージョン3.09.0の新機能:

*変更:設定ファイルもユーザのホームディレクトリで検索されるようになりました。
スタートアップディレクトリまたはLogtalkユーザーディレクトリに見つからない場合
`settings_file`フラグを` restrict`に設定すると、
設定ファイルをLogtalkユーザディレクトリとユーザのホームディレクトリにコピーします。
この変更は、チームが両方ともにLogtalkインストールを共有する場合に便利です
`LOGTALKHOME`と` LOGTALKUSER`環境変数は
同じディレクトリ。

*変更:コンパイラのエラーメッセージと警告メッセージで、ファイルと行の情報が常に更新されていることを確認してください。報告された問題の最後の行。

バージョン3.07.0の新機能:

* ADDED:バックエンドPrologコンパイラを記述する `unicode`読み取り専用フラグです。
Unicode標準のサポート


* ADDED: `++`(グランド)と `--`(アンバウンド)引数のインスタンス化をサポート
`mode / 2`述部で使うための(接頭演算子として宣言された)モード
指令。


* ADDED: `mode / 2`での` one_or_error`決定性仕様のサポート
述語指令。型チェック述部の文書化に役立ちます。


改善された:現存する定量化された目標を
`bagof / 3`と` setof / 3`コールのスコープです。


* FIXED: `uses / 2`ディレクティブをコンパイルするとき、リンク節を作成しないでください。
エイリアスが定義されていないときに、 `user`の組み込み述語の実行時使用。


* FIXED:ファイルのコンパイルエラーを親ファイルに伝播するときに、
上位の祖先からファイルの祖先が再ロードされるようにする
makeメカニズムによって。


* FIXED: `logtalk_make / 0`または` logtalk_make / 0`を呼び出すときに冗長なファイルの再ロードを避ける
`logtalk_make / 1`をターゲット` all`と置き換えます。


* FIXED: `^^ / 1`コール中の欠落した述語の検出
`logtalk_make / 1`をターゲット` missing`と置き換えます。

* FIXED:リフレクションAPIのバグで、一部の述語相互参照
情報は記録されませんでした。

バージョン3.06.2の新機能:

このリリースでは、Kyndi、Inc.のスポンサーシップの下で開発者ツールの改良作業を続けています。これには、プレーンなPrologアプリケーションを移植するためのラッパー・ツールの新しいバージョンが含まれており、lgtunitおよびdiagramツールの改善と修正が行われています。

バージョン3.04.1の新機能:

* FIXED:コンパイラのバグを修正した`compile_aux_clauses / 1`メソッドを呼び出してterm-expandedされた述語は、連続していないと誤って報告される可能性があります。


* FIXED: `user`疑似オブジェクトの中から` threaded_notify / 1`組み込み述語を呼び出すときは、ドキュメントごとにバウンド引数を必要としません。


* FIXED: `number_of_clauses / 1`または` number_of_user_clauses / 1`プロパティ引数を持つ `object_property / 2`とcategory_property / 2`ビルトイン述語を確定的に呼び出す。

バージョンの新機能3.03.0:

* ADDED:新しい `logtalk_make / 1`ターゲット、欠落したエンティティと述語をリストする` missing`をサポートします。 `{?}`ショートカットを使っても利用できます。

* ADDED:新しい `logtalk_make / 1`ターゲット、` circular`をサポートし、オブジェクトのペアとトリオ間の循環参照(メッセージ送信の目的を考慮して)をリストします。 `{@}`ショートカットを使っても利用できます。

*改善:埋め込みのために同じディレクトリ内のすべての中間ファイルを収集するときにファイル名の衝突を避けるために、中間のPrologファイル名にディレクトリハッシュを追加します。現在、ECLiPSe、GNUが必要です
Prolog、JIProlog、Quintus Prolog、SICStus Prolog、SWI-Prolog、XSB、またはYAPをバックエンドコンパイラとして使用できます。

* FIXED:メタ引数があらかじめコンパイルされたクロージャである場合、またはその目的のコンテキストでコールされたゴールのクロージャのいずれかである場合のメタ述語コール最適化のバグ
`user`擬似オブジェクトです。また、より厳密なエラーチェックを適用してメタ引数を閉じます。

* FIXED:エラーメッセージと警告メッセージでパラメトリックオブジェクトとパラメトリックカテゴリ識別子をあらかじめ印刷しています。

バージョン3.02.2の新機能:

* FIXED:lambdaとして `true / 0`を使用したラムダ式のバグチェックでエラーが発生しました
ゴール。バグレポートのBoris Vassilevに感謝します。


* FIXED: `logtalk_make / 1`述部は成功するでしょう(警告を出力した後
メッセージ)の代わりにインスタンス化されていない引数または無効な引数で呼び出された場合
失敗する。 〜に
より良いためにマルチファイル述語を使用して中間のPrologファイルを生成しました
埋め込み経験。特に、インクリメンタルな埋め込みを簡単に行うことができます。


*改善:make述部は、ファイルの親ファイルをリロードするようになりました。
コンパイルまたは読み込みエラー。これにより、障害のあるファイルが
ローダーファイル内のすべてのファイルのコンパイル、障害の後にリストされたファイル
ファイルは、欠陥のあるファイルが修正され、make述語が

バージョン3.02.1の新機能:

*改善:より多くの埋め込み体験を得るために、マルチファイル述語を使用して、ロードされたファイルのランタイムテーブルエントリが生成された中間Prologファイルに追加されるようになりました。特に、インクリメンタルな埋め込みを簡単に行うことができます。
 *改善:make述部は、コンパイルエラーまたはロードエラーを伴うファイルの親ファイルをリロードするようになりました。これにより、障害のあるファイルがローダーファイル内のすべてのファイルのコンパイルを打ち切るときに、障害のあるファイルが修正され、make述部が呼び出されたときに、そのファイルの後にリストされたファイルがコンパイルされます。

バージョン3.01.2の新機能:

このリリースでは、静的バインディングの実装が完了しました。コンパイルとロードの述部でファイル名をそのまま使用するためのサポートが追加されました。コンパイラのバグを修正しました。ドキュメントの更新情報を提供します。デバッグ、テスト、およびドキュメント化ツールを改善します。 Prologの公式および事実上の基準への適合性をチェックするための新しい単体テストセットを追加しました。サポートされているすべてのテキストエディタと構文ハイライターの構文カラーリングを更新します。 ECLiPSe、JIProlog、およびYAPの互換性アップデートが含まれています。

要件:

互換性のあるPrologコンパイラ。

同じようなソフトウェア

ABalloon
ABalloon

4 Jan 15

Mint Project
Mint Project

2 Jan 15

Sdef Editor
Sdef Editor

3 Jan 15

開発者の他のソフトウェア Logtalk

Logtalk
Logtalk

3 May 15

へのコメント Logtalk

コメントが見つかりません
コメントを追加
画像をオンにする!
カテゴリから探す