Simple Project List Software Map

38 projects in result set
最后更新: 2004-09-19 16:33


GPP is a general-purpose preprocessor with customizable syntax, suitable for a wide range of preprocessing tasks. Its independence from any programming language makes it much more versatile than cpp, while its syntax is lighter and more flexible than that of m4. The syntax is fully customizable, which makes it possible to process text files, HTML, or source code equally efficiently in a variety of languages.

(Machine Translation)
最后更新: 2012-05-29 00:52


Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, it includes support for both prototypes and classes, protocols (interfaces), component-based programming through category-based composition, event-driven programming, and high-level multi-threading programming.

最后更新: 2001-01-30 06:12

Ciao Prolog

Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.

最后更新: 2003-12-18 14:35


DELORES (DEfeasible LOgic REasoning System) is a forward-chaining reasoning engine for defeasible logic, a less-expressive but more efficient non-monotonic logic. In contrast with most other non-monotonic logics, defeasible logic has linear complexity, allowing DELORES to execute large theories very quickly. DELORES's algorithm extends to general defeasible theories through the use of a pre-processing transformation which eliminates all uses of defeaters and superiority relations.

最后更新: 2005-04-24 13:49


SHORE (Semantic Hypertext Object Repository) is a
hypertext repository that stores data about
documents and data described by documents. Access
to this information is provided as hypertext. The
repository stores objects that appear in
documents, together with their relations in a
semantic net. Hypertext navigation follows these
relations in the semantic net. The SHORE server
works as an HTTP server, and the client is a
standard Web browser. The repository uses PROLOG
as its query language and the XSB system as its
query engine.

(Machine Translation)
最后更新: 2006-09-11 17:51

Sun Profile


(Machine Translation)
最后更新: 2005-04-27 18:26

Omonia (formerly Quicksilver)

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

(Machine Translation)
最后更新: 2022-02-09 22:19

Datalog Educational System

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

(Machine Translation)
最后更新: 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 必要があります以上。

(Machine Translation)
最后更新: 2007-12-06 02:11


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

(Machine Translation)
最后更新: 2003-05-02 17:48

Network Agents

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

(Machine Translation)
最后更新: 2013-05-15 20:39

GNU Prolog

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

最后更新: 2001-03-08 21:50



最后更新: 2018-06-14 17:42


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

(Machine Translation)
最后更新: 2010-09-05 06:34

Prolog Development Tools (ProDT)

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

(Machine Translation)