Bプロローグ ダーイム用の素晴らしいProlog Compiler。
今すぐダウンロード

Bプロローグ ランキングとまとめ

Bプロローグ タグ

デベロッパー 開発者向け Prolog Compiler ロジックプログラミング 援助 プロローグ

Bプロローグ 説明

ダーイムのための素晴らしいProlog Compiler。 B-Prologは多用途で本当に効率的な制約論理プログラミング（CLP）システムです！ B-Prologは、AFANYソフトウェア（ニューヨーク）、KLS（東京都）、およびNandAsoft（Nanjing）によってあなたにもたらされています。 CLPの誕生はプログラミング言語の歴史の中のマイルストーンです。 CLPは、論理プログラミングと制約解決の2つの宣言型プログラミングパラダイムを組み合わせたものです。宣言的な性質は、コンピュータ支援設計および検証、データベース、データマイニング、ソフトウェア工学、最適化、構成、グラフィカルユーザインターフェース、および言語処理を含む多数のアプリケーションで魅力的であることが証明されています。 Bプロローグ目標の1つは、ソフトウェアの保守性と開発の生産性を向上させることです。 。このリリースの新機能： ・テーブル制約表または伸張拘束は、正または負のいずれかです。肯定的な制約は「r」の形式をとり、否定的な制約は 'x notin r'の形式で、xはタプル変数（x1、...、xn）または変数のタプルのリストです[（x11、） ..、x1n）、...、（xm1、...、xmn）、およびrは、各タプルがフォームをとる整数のタプルのセット（A1、...、A）として定義されている表です。 ・テーブルモードのサポート。テーブル宣言はフォーム '：-table p（m1、...、mn）：nを取ります。 P / Nが述語である場合、MIはモード（これは 'min'、 'max'、 '+'、 ' - '、または '？'、またはnは、nはある回答数の制限です。テーブル。制限が与えられていない場合は、1つの答えだけがテーブルがタブされていると想定されます。 ・繰り返しの組み込み：FOREACH（イテレータ、ローカルバー、ゴール）とFOREACH（イテレータ、ローカルバー、アキュムレータ、目標） ・新しいグローバル制約：POST_NEQS / 1とPOST_DISJUNCTIVE_TASKS / 1。 ・タイムイベントは最優先順位で処理されます。 ・バイナリ等の制約はさらに特殊化されています。 ・グローバル制約を追加しました：シリアル化/ 2、代入/ 2、および代入0/2。 ・ 'var in d'と 'var notin d'はブールの制約で発生する可能性があります。 ・未知のフラグが再び機能します。 ・Call_cleanup / 2の改善されました。 ・コンパイラでのバグ修正。 ・GLPKインタフェースでのバグ修正。

Bプロローグ 関連ソフトウェア