Open Source Prolog Software

Prosper is a web application development framework to augment Prolog applications with a web interface. It supports control flow in visual logic and promotes a clear separation of model from view.

TOY is a constraint functional logic system, designed to support the main declarative programming styles and their combination

ADP (Another Data Processor) is a programing language that is designed for Web database programing. It is a scripting language and a lightweight programming language in which it is possible to mix SQL easily. It is easy to install. ADP is base on Prolog. But ADP uses only the backtrack and unification. The syntax is original and likes a another scripting language, supports method call.

The uranium is a system for test automation. It uses a prolog language for high-level modelling of business process in software and system of drivers which allows use any channel for manage the program (web, db connection etc).

The Virtual Storyteller is a multi-agent framework for generating stories based on a concept called emergent narrative.

CIOS Audio Core is the infrastructure and subsystem in Collective Intelligence Operation System. It is a cross platforms audio abstract interface, supports including Mac OS X, Linux, Android, iPhone OS and Windows 7.

MotOrBAC is a tool to help you design and implement a security policy using the OrBAC (Organisation Based Access Control) model. It is developped using the OrBAC API, an implementation of the OrBAC model.

8. Mai 2005: We have discontinued SourceForge as a download place for our open source projects. You can now download these projects directly from the XLOG Technologies GmbH web site at http://www.xlog.ch/omonia.

pyIRDG is a program written in Python to generate relational datasets in Prolog format. It uses data from the Internet Movie Database in combination with IMDbPY as backend. A graphical user interface written in pyQt allows the user to link multiple entities together as model for the generation process. The big four entities are Title, Person, Company and Character. Many attributes can be chosen for adding to the output .pl file. Three types of constraints on attributes are available to limit the output: an availability constraint, a range constraint and a value constraint. It works with both MySQL and PostgreSQL as database backend.

A Practical Agent Programming Language

AntWar! is a virtual life simulator. The player must extends the base ants classes to create their own colonys whose must survive in the warfield.

This project provides a tool (developed by the ArguGRID project) that implements different dispute derivations for assumption-based argumentation. It also computes a dialectical structure of arguments. Users have full control over selection functions and

A framework for building, deploying and managing well-described REST-ful Web services, including REST-ful Web Services realizations for RSS, XML Topic Maps, Structured Arguments, and Workflow.

DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.

FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason about a model and its data (instance model, i.e., diagram) FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.

Flipper is a program that does randomised local search for satisfiability of 3 variable prenex sentences in the pure predicate calculus. It does so by proving satisfiability relative to given decidable theories.

GASPAR implements an dialectical argumentation framework for instantiating the artificial intellect of a software agent. In this artilect, motivations are represented in mental faculties which argue why and how these motivations can be adopted.

This project is about implementing a logic-programming based, reasoning engine for an agent. We started with an implementation of the iff-proof procedures, by Kowalski and Fung, as an any-time algorithm written in Prolog.

GGPrayer is an AI capable of playing any game described in the GameDescriptionLanguage defined in http://games.stanford.edu/.It uses Java to communicate to the gameserver and Prolog for reasoning. Info: http://bruno-wp.blogspot.com/search/label/Software

The IMAGO (Intelligent Mobile Agent Gliding On-line) system is a platform used to develop and deploy Prolog based Mobile Agents.

JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.

SLPG (Semiautomatic Logic Program generator) is an academic tool whose goal is to help unexperienced logic programmers to develop Prolog programs using a systematic methodology.

Use a language CycL or KIF to represent shared ontological integration with a first person MOO system to provide debugging and agent facilities.

MARGO (Multiattribute ARGumentation framework for Opinion explanation), written in Prolog, is the engine developed in the ArguGRID project for decision making.

MatForce is a compiler that translates MatLab scripts into self-contained C++ code, producing human-readable, extensible C++ sources that can be fitted to the needs of the encapsulating application.