Develop and Download Open Source Software

ここで、GPPは、タスク前処理の広い範囲のカスタマイズ可能な構文に適した汎用プリプロセッサです。その構文は、よりそのm4のより軽量で柔軟している間、任意のプログラミング言語からの独立は、cppがはるかに汎用性よりも、ことができます。構文は完全にそれが可能な均等に効率的にさまざまな言語でテキストファイル、HTML、またはソースコードを処理することができますカスタマイズ可能です。

Logtalkは、バックエンドコンパイラとして最もPrologの実装を使用することもでき、オブジェクト指向の論理プログラミング言語です。マルチパラダイム言語なので、それは両方のプロトタイプとクラス、プロトコル（インターフェイス）、カテゴリベースの組成物を介してコンポーネント·ベースのプログラミング、イベントドリブンプログラミング、および高レベルのマルチスレッドプログラミングのためのサポートが含まれています。

Ciaoは ISO-Prologを包含する完全な Prologシステムであり、言語の制限と拡張の両方を可能とする新しいモジュラー設計をしています。現在 Ciao拡張機能は、フィーチャ ターム(records)、高階、関数、制約、オブジェクト、永続的述語、分散実行(エージェント)のための良い基盤、並列性等を含んでいます。ライブラリは WWWプログラミング、ソケット、外部インターフェイス（C、Java、Tcl/Tk、リレーショナルデータベース,他）をサポートしています。Emacsベースの環境、スタンドアロンコンパイラ、そしてトップレベルシェルも提供しています。

ショアは（セマンティックハイパーテキストオブジェクトリポジトリ）のリポジトリですハイパーテキストそれによって文書記述データを格納に関するデータとドキュメント。アクセス情報は、このハイパーテキストとして提供されます。表示されるのドキュメントオブジェクトを格納リポジトリ、一緒にネットの意味でとの関係。ハイパーテキストナビゲーションは、ネットの意味で次のような関係です。としてHTTPサーバの作品浜辺サーバー、およびクライアントは、ブラウザ標準のWeb。リポジトリエンジンは、クエリの使用プロローグとしてXSBシステムとしてクエリ言語と。

Objexプロジェクトは、（プロジェクトのようにはGNU）ソフトウェアのソース開いていることを目的に開発し、無料で完全なオペレーティングシステムを構成します。プロジェクトGNUで対照的に、システムのように-のUnix目的ではなく、システムをもたらす一緒に近代的なビルドのすべての最近の進歩でコンピュータサイエンス、。 "完全なシステムは、"インターフェイスを意味し、ユーザグラフィカルになるなど、完全なカーネルスイートの開発ツールは、ユーザーのユーティリティ、および。これは、作成システムです基づいてOSKit、一連のフレームワークとユーティリティ、ドライバ、操作するための意図のプログラムコード。

DELORES（DEfeasible LOgic REasoning System）は、少ない表現だがより効率的な非単調論理である無効化可能ロジックのための前向き推論エンジンです。他の多くの非単調論理とは対照的に、無効化論理は線形の複雑さを持ち、DELORESは大規模な理論を非常に高速に実行が可能です。DELORESアルゴリズムは全てのデフィーターと優越関係を削除する前処理変換の使用を通して汎用無効化可能理論を拡張します。

segusoLandファイルマネージャは、ユーザーが非常に統一された方法では、人工知能の機能とアクションの任意の種類を指定することができますデスクトップ環境にされているのみ関連するオプションを示すことに役立ちます。これは完全に新しいユーザーの相互作用のパラダイム"相互リスト狭窄と呼ばれる機能"。

洞窟はGolorpのPrologのですならず者のようなゲームで書かれた。これは、システムスマートモンスターを、ユニークなマジック機能洗練されたレベルのジェネレータ。

YPrologは、JavaポケットPrologの％のエンジン書か100。これは、データベース、データベースをPrologのPrologのインタフェース機能を可能にする型がSQLの使用のようなJavaの簡単提供しています番号を迅速に。これは、相談が速く、操作を取り消すと、テキストができますに"データベースの内容を"シリアル化し、読み込むことができます簡単にオブジェクトを格納するテーブルのJavaのかの内容を。これは、XPrologのボシェです基づいジャン。

TCLPは Prolog方言の型チェッカーです。SICStus Prologで書かれています。この目標はプログラミングエラーを静的に捕まえることであり、たとえば述語呼び出しで使われる不正引数や、 関数シンボルまたは述語について与えられた入力と照らし合わせてデータ構造が不正にビルドされている場合などです。TCLPにはユーザ述語に対する型推論能力もあります。サポートしている方言には ISO - Prolog、GNU-Prolog、SICStus Prologがあります。

EMFのインテリジェンスフレームワークをあなたのEMFモデルについての理由を助けるように設計され宝石。フレームワークは、知識ベースには、あなたに要素をモデル化EMFのアサートを提供します。一度モデリング要素の知識をベースにアサートされる場合、モデル要素間の関係に制約を追加することができます。最後に、あなたの宝石EMFの知能有効なエンドポイントの関係EReferences（など）のモデリング要素としての知識ベースで（他のオブジェクト）を導出するために使用することができます。宝石EMFの知能の制約をOCLは、Prologは、Groovyのは、BeanShellので書かれてサポートされます。複数の制約の言語は、単一の知識ベースに混在させることができます。

アミンは、マルチレイヤのオープンソースJava Platformは、知能システム（知識ベース、オントロジーベース、概念上のグラフに基づく、自然言語処理など）、知的エージェントの様々な種類の開発に取り組んでいます。を参照してください：/ /アミンplatform.sourceforge.net /

SemWalkerエンジンのセマンティックWebブラウザで統合された検索側がサーバー。それはRDFs Webインターフェイスを友好提供していますが、世界のWebサービスOntariaののです使用する電力のW3C。

Rulz.NETは C#の拡張です。これは、学問/Prologの背景を持つ人だけでなく、VBや C#プログラマーといった（潜在的に）より多くの人々に、ルールベース プログラミングのメリットをもたらします。これは "rclass"など、いくつかの新しいキーワードを追加することで動作しています。

Prolog統計機械翻訳(Prolog Statistical Machine Translation)は、プログラムは、かなり単純な統計的機械翻訳。これは、言語モデルの学習に（対象言語と三重文字に基づく言語学習モデルにかかる例文）、辞書学習に（語彙から語彙への変換を学習）、および検索プログラムに（データを使用して最初の2つの部分がソース文を対象の言語に変換）、に構成される。

小児科の対話戦略を選択する確率ネストされた信念モデルを使用して対話管理システムです。対話システムの設計者のみの前提条件との対話を文法として小児科する計画のルールセットの供給が必要です。この文法を使用して、小児科、以下の1つ（）のような対話の成果を表現するように、対話の戦略対話では、現在の順番を選択することができますゲーム木を構築します。小児科、自動的に対話で観察された機能を使用して信念の改訂プロセスによって信念モデルを維持します。ゲーム木は、この信念モデルのコンテキスト内で評価されます。これではなく、普通の論理的な信念モデル信念の確率的推定値を使用して小児科効率的です。

ConceptBase.ccはメタモデリングとメソッドエンジニアリングのためのマルチユーザ演繹とオブジェクト指向のデータベースシステムです。 ConceptBase、ccのサーバのロジックをベースにした機能に基づいて構築されたグラフィカルクライアントが含まれています。データモデルは、O -テロスです。

ProDTは、EclipseのJava IDEとしての機能のように豊かになる、と任意の標準的なPrologの実装をサポートすることを目的とPrologの統合開発環境（IDE）です。現在SWI Prologの、B - PrologとXSB Prologをサポートしている

Judeは、開発者にはメンテナンスしやすく、エンドユーザには使いやすいデータ管理アプリケーションを開発するための開発ツールです。

Flora-2/XSBで実装されたF-OWLは、標準的なWebオントロジー言語OWLのための推論エンジンです。 Java APIのセットは、OWLオントロジー文のアサートとクエリを行うアプリケーションのために提供されます。