Simple Project List Software Map

38 projects in result set
Última actualización: 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 actualización: 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 actualización: 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 actualización: 2007-03-20 23:19


構築、配置および残り ful Web サービス実現、RSS、XML トピック マップ、構造化された引数、およびワークフローを含む、よく説明の残り ful Web サービスを管理するためのフレームワーク。

(Machine Translation)
Última actualización: 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 actualización: 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 actualización: 2006-09-11 17:51

Sun Profile


(Machine Translation)
Database Environment: JDBC, MySQL, Oracle
Estado de desarrollo: 1 - Planning
Lenguaje Natural: Chinese (Simplified), English, Russian
Sistema Operativo: OS Independent
Lenguaje de Programación: Java, PL/SQL, Prolog
User Interface: Java Swing
Última actualización: 2005-04-27 18:26

Omonia (formerly Quicksilver)

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

(Machine Translation)
Última actualización: 2022-02-09 22:19

Datalog Educational System

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

(Machine Translation)
Última actualización: 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 actualización: 2003-05-02 17:48

Network Agents

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

(Machine Translation)
Última actualización: 2013-05-15 20:39

GNU Prolog

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

Última actualización: 2001-03-08 21:50



Última actualización: 2018-06-14 17:42


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

(Machine Translation)
Última actualización: 2007-12-06 02:11


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

(Machine Translation)