Liste des projets simples Logiciel Télécharger Carte

38 projects in result set
Dernière Mise à Jour: 2004-09-19 16:33

GPP

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.

(Traduction automatique)
Dernière Mise à Jour: 2012-05-29 00:52

Logtalk

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.

Dernière Mise à Jour: 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.

Dernière Mise à Jour: 2003-12-18 14:35

DELORES

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.

Dernière Mise à Jour: 2005-04-24 13:49

OpenSHORE

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.

(Traduction automatique)
Dernière Mise à Jour: 2006-09-11 17:51

Sun Profile

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

(Traduction automatique)
Environnement de base de données: JDBC, MySQL, Oracle
Statut de développement: Planification
Langage naturel: Chinese (Simplified), English, Russian
Système d'exploitation: OS Independent
Langage de programmation: Java, PL/SQL, Prolog
Interface utilisateur: Java Swing
Dernière Mise à Jour: 2005-04-27 18:26

Omonia (formerly Quicksilver)

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

(Traduction automatique)
Dernière Mise à Jour: 2022-02-09 22:19

Datalog Educational System

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

(Traduction automatique)
Dernière Mise à Jour: 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 必要があります以上。

(Traduction automatique)
Dernière Mise à Jour: 2007-12-06 02:11

EZOP

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

(Traduction automatique)
Dernière Mise à Jour: 2003-05-02 17:48

Network Agents

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

(Traduction automatique)
Dernière Mise à Jour: 2013-05-15 20:39

GNU Prolog

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

Dernière Mise à Jour: 2001-03-08 21:50

Jude

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

Statut de développement: 3 - Alpha
Utilisateurs cibles: Développeurs, End Users/Desktop
Langage naturel: English
Langage de programmation: Java, Prolog
Dernière Mise à Jour: 2018-06-14 17:42

MotOrBAC

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

(Traduction automatique)
Statut de développement: 4 - Beta
Système d'exploitation: OS Independent
Langage de programmation: Java, Prolog
Interface utilisateur: Java Swing
Dernière Mise à Jour: 2010-09-05 06:34

Prolog Development Tools (ProDT)

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

(Traduction automatique)