プロジェクトシンプルリスト ソフトウェアダウンロードマップ

38 件のプロジェクトが条件に合致します
最終更新日: 2004-09-19 16:33

GPP

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

(機械翻訳)
最終更新日: 2012-05-29 00:52

Logtalk

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

ライセンス: Artistic license 2.0
オペレーティングシステム: OS非依存
プログラミング言語: Prolog
最終更新日: 2001-01-30 06:12

Ciao Prolog

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

最終更新日: 2003-12-18 14:35

DELORES

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

最終更新日: 2005-04-24 13:49

OpenSHORE

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

(機械翻訳)
最終更新日: 2006-09-11 17:51

Sun Profile

太陽プロジェクトをプロファイルします。

(機械翻訳)
データベース環境: JDBC, MySQL, Oracle
開発状況: 1 - 計画中
オペレーティングシステム: OS非依存
プログラミング言語: Java, PL/SQL, Prolog
ユーザインタフェース: Java Swing
最終更新日: 2005-04-27 18:26

Omonia (formerly Quicksilver)

8. 舞 2005年: 我々 は廃止 !SourceForge ダウンロード場所としてオープン ソースのプロジェクトのため。これらプロジェクトは、次の http://www.xlog.ch/omonia で XLOG 技術は、社の web サイトから直接ダウンロードすることができます。

(機械翻訳)
最終更新日: 2022-02-09 22:19

Datalog Educational System

Datalog 教育システム (DES) は教育のために主に開発されたクエリ言語として SQL リレーショナル代数と Datalog 演繹データベースです。任意のサポートされている OS 上の最も一般的なプロローグ通訳およびポータブル実行可能ファイル (Windows、Linux、MacOS) から使用することができます。

(機械翻訳)
最終更新日: 2011-07-11 02:58

XGP: Mac OS X Prolog IDE

XGP は、Macintosh OS X の下でココアを使用する GNU Prolog を拡張する統合開発環境です。ユーザー インターフェイスとグラフィック設備主 lpa はにによって !MacProlog32 との互換性を提供しています。Mac OS X バージョン 10.2.1 必要があります以上。

(機械翻訳)
最終更新日: 2007-12-06 02:11

EZOP

EZOP は、教育システムを表すカテゴリです。

(機械翻訳)
開発状況: 2 - プレ アルファ
対象ユーザ: 教育
プログラミング言語: Prolog
トピック: 教育, SourceForge.net
最終更新日: 2003-05-02 17:48

Network Agents

エージェント通信インフラストラクチャ、4 月 - プログラミング言語、エージェントの構造で構成される、ネットワーク指向のインテリジェント エージェントを構築するためのシステムのグループに行く !-プログラミング言語と DialoX ロジック - XML ベースのユーザー インターフェイスのエンジン

(機械翻訳)
対象ユーザ: 開発者, 科学/研究
主要対話語: 英語
オペレーティングシステム: MacOSX, POSIX (Linux,BSD,Solaris など), Linux
プログラミング言語: C, Java, Prolog
ユーザインタフェース: Gnome
最終更新日: 2013-05-15 20:39

GNU Prolog

GNU Prologはフリーで実装(GPLのもとで)された論理型プログラミング言語Prologです。これは非常に高速に実行されるネイティブコードにコンパイルすることができます。もう1つの特徴は、含まれている制約ソルバです。

最終更新日: 2001-03-08 21:50

Jude

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

開発状況: 3 - アルファ
主要対話語: 英語
オペレーティングシステム: POSIX (Linux,BSD,Solaris など), Linux, OS非依存
プログラミング言語: Java, Prolog
トピック: Freecode.com, SourceForge.net
最終更新日: 2018-06-14 17:42

MotOrBAC

!MotOrBAC は、設計および OrBAC (組織ベースのアクセス制御) モデルを使用してセキュリティ ポリシーを実装するのに役立つツールです。それは OrBAC モデルの実装、OrBAC API を使用して開発です。

(機械翻訳)
開発状況: 4 - ベータ
オペレーティングシステム: OS非依存
プログラミング言語: Java, Prolog
ユーザインタフェース: Java Swing
最終更新日: 2010-09-05 06:34

Prolog Development Tools (ProDT)

ProDT は、プロローグの統合開発環境 (IDE) を目指して豊富 Eclipse の java IDE として機能である標準の Prolog の実装をサポートします。現在 SWI プロローグに支えられている B プロローグと XSB プロローグ

(機械翻訳)
対象ユーザ: 開発者, 教育
オペレーティングシステム: OS非依存
プログラミング言語: Java, Prolog
ユーザインタフェース: Java SWT, Eclipse