Simple Project List Software Map

38 projects in result set
Última Atualização: 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)
Última Atualização: 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.

Última Atualização: 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.

Última Atualização: 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.

Última Atualização: 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)
Última Atualização: 2006-09-11 17:51

Sun Profile


(Machine Translation)
Database Environment: JDBC, MySQL, Oracle
Desenvolvimento Estado: 1 - Planning
Linguagem Natural: Chinese (Simplified), English, Russian
Sistema Operacional: OS Independent
Linguagem de Programação: Java, PL/SQL, Prolog
Interface de Usuário: Java Swing
Última Atualização: 2005-04-27 18:26

Omonia (formerly Quicksilver)

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

(Machine Translation)
Última Atualização: 2022-02-09 22:19

Datalog Educational System

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

(Machine Translation)
Última Atualização: 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)
Última Atualização: 2007-12-06 02:11


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

(Machine Translation)
Desenvolvimento Estado: 2 - Pre-Alpha
Destinado Audiência: Education
Linguagem de Programação: Prolog
Última Atualização: 2003-05-02 17:48

Network Agents

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

(Machine Translation)
Desenvolvimento Estado: 5 - Production/Stable
Destinado Audiência: Developers, Science/Research
Linguagem Natural: English
Linguagem de Programação: C, Java, Prolog
Interface de Usuário: Gnome
Última Atualização: 2013-05-15 20:39

GNU Prolog

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

Última Atualização: 2001-03-08 21:50



Desenvolvimento Estado: 3 - Alpha
Destinado Audiência: Developers, End Users/Desktop
Linguagem Natural: English
Linguagem de Programação: Java, Prolog
Última Atualização: 2018-06-14 17:42


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

(Machine Translation)
Desenvolvimento Estado: 4 - Beta
Sistema Operacional: OS Independent
Linguagem de Programação: Java, Prolog
Interface de Usuário: Java Swing
Última Atualização: 2010-09-05 06:34

Prolog Development Tools (ProDT)

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

(Machine Translation)