OSI-Approved Open Source (11)
- GNU General Public License version 2.0 (4)
- GNU Library or Lesser General Public License version 2.0 (4)
- Apache License V2.0 (1)
- BSD License (1)
- Computer Associates Trusted Open Source License 1.1 (1)
- Eclipse Public License (1)
- GNU Library or Lesser General Public License version 3.0 (1)
- Open Software License 3.0 (1)
- W3C License (1)
- Other License (1)
- Linux (12)
- Modern (12)
- Solaris (12)
- Grouping and Descriptive Categories (11)
- Windows (10)
- BSD (9)
- Mac (3)
- Emulation and API Compatibility (2)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Deductive Database with Datalog, Relational Algebra and SQL111 weekly downloads
ECLiPSe Constraint Logic Programming System29 weekly downloads
Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.39 weekly downloads
A Database System for Metamodeling and Method Engineering7 weekly downloads
Regulus is a Prolog-based toolkit for building spoken dialogue systems.2 weekly downloads
The TNCES Workbench enables you to calculate and analyse the reachability and dynamic graph, to draw trajectories and to translate IEC 61499 FBs into discrete timed Net Condtion/Event Systems1 weekly downloads
icx is a tool for 3D Diagrammatic Interaction (3DI). Via internet socket it gives a client application means of 3DI with a user. It also serves users as a 3D diagram editor. Prolog fact syntax helps it serve both Prolog and conventional applications.1 weekly downloads
Multiplatform (MUltiple Language / Target Integration PLATform FOR Modules) implements a unified integration platform for multiple modules written in multiple languages (C, C++, Prolog, Java) and multiple target platforms (GNU/Linux, Solaris, Windows).
PVN evaluates logical formula in a user defined n-valued semantics. Current efforts are aimed at fleshing out the port to GNU\'s prolog environment. Possible uses include embedding into a public domain knowledge base for a defeasible reasoning system.
The project provides an incubator for intelligent agent-assisted, AR gaming-oriented BI applications generated through the STALEMATE Knowledge-based System Design Environment (KBSDE), integrating Web-enabled knowledge bases, data mining and warehousing and directed at asset management and investment banking.
The project will integrate viable aspects of the semantic web technologies for use with advanced Semantic SQLCLI based XML DBMS. The purpose of this project is develop a GUI Application for a Suite of ECM Services.
reputron is a knowledge extraction engine platform that covers all aspect of text mining, relevance, indexing and querying on a corpus of text documents.