OSI-Approved Open Source (20)
- GNU General Public License version 2.0 (11)
- GNU Library or Lesser General Public License version 2.0 (5)
- GNU Library or Lesser General Public License version 3.0 (2)
- W3C License (2)
- Apache Software License (1)
- BSD License (1)
- Computer Associates Trusted Open Source License 1.1 (1)
- Eclipse Public License (1)
- GNU General Public License version 3.0 (1)
- Mozilla Public License 1.1 (1)
- Open Software License 3.0 (1)
- Creative Commons Attribution License (1)
- Linux (21)
- Grouping and Descriptive Categories (17)
- Windows (15)
- Modern (12)
- Mac (11)
- BSD (8)
- Android (3)
- Operating System Kernels
- Systems Administration
- Software Distribution
- System Shells
- Distributed Computing
- OS distribution
- Programming Language: Prolog ×
Euler Yet another proof Engine44 weekly downloads
OpenESM project to promote software development of enterprise systems management. Focus areas are (Performance and Availability, Configuration Management, Data Warehousing, Reporting and Correlation).2 weekly downloads
The Prolog Expert System Shell (PESS) is a software that generates ES using basically two components: Knowledge Base, used by the ES to guide its decisions making, and Inference Machine, cable of collection the rules and generating new facts.3 weekly downloads
Ignite is used to optimize the distribution of a given group of files whithin the smallest possible number medias (of any kind). Ignite is highly configurable and has a lot of options (using user-defined commands to burn the medias is only one of them).2 weekly downloads
The IMAGO (Intelligent Mobile Agent Gliding On-line) system is a platform used to develop and deploy Prolog based Mobile Agents.2 weekly downloads
Fi-shell is a front-end to your system shell. It provides nonblocking i/o (concurrency) and pattern maching that is both easy to remember and readable (logic programming)1 weekly downloads
Mercury is a modern logic/functional programming language. The Mercury system includes a compiler, debugger, libraries, sample code, profilers, etc. Mercury is designed to be the successor of logic programming languages such as Prolog.1 weekly downloads
An OrBAC policy editor1 weekly downloads
The Rule Based Service Level Agreement (RBSLA) project focuses on knowledge representation concepts for service level management of IT services. At the core are rule-based languages to describe contracts and service level agreements in a formal way.1 weekly downloads
TuCSoN tuple-based coordination middleware1 weekly downloads
linux Adequate1 weekly downloads
The CommGen platform is intended to be a simple, scalable integration platform for small to medium problem sets. The architecture is simple, consisting of a distributed kernel, distributed O/S, agent and application layer.
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).
An Open Source environment to connect systems, users, and networks into one audio/visual entity. This project is intended to provide a 3D network that grows dynamically, and performs the five management functions intelligently.
The PeerTrust system uses policies to describe trust and security requirements. Such policies are a component of Peertrust run-time system that can negotiate to establish trust among systems on the Semantic Web
An implementation of a webserver written in the high level programming language Mercury (http://www.mercury.cs.mu.oz.au).
Rei is a rule-based policy specification language in OWL-Lite for distributed systems.
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.
A DNS name for my products ( http://meansofproduction.biz ). The first subproject ("WFL/VS") to be posted here c.2008-11-01. In the database §, "Other API": our C CLI which operates over JDBC, ODBC, DBI/DBD, etc. Native support for the named RDBMSes
GNU Prolog API for distributed multithreading programming built on top of the PM2 environment. The thread management is made with a user-level multithreading library and communication is made on top of Madeleine, the communication subsystem of PM2.
Prolog+CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph (CG) theory of John Sowa. CGs are first-class datatypes on a par with terms. Object oriented extensions are also included.2 weekly downloads