Open Source Prolog Software for Linux - Page 5

Proshee is a Prolog type-inference system written in Prolog but depending on the banshee project in C (banshee.sourceforge.net). At present it manages very simple type-inference, but it has some problems with lists that need to be overcome.

A Python extension embedding SWI-Prolog.

An implementation of a webserver written in the high level programming language Mercury (http://www.mercury.cs.mu.oz.au).

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.

We have implemented a core summarizer of scientific articles written in Spanish, with the following components: a tokenizer, a grammar checker, a clarity checker, a cohesion-coherence checker, a common-topic extractor and an output formatter.

ReSpecT (Reaction Specification Tuples) is a logic-based language for distributed system coordination. ReSpecT is based on a coordination model exploiting tuple centres as first-class, general-purpose coordination media.

Regulus is a Prolog-based toolkit for building spoken dialogue systems.

The RoboLog Soccer Library is a project to provide a library for RoboCup Simulation League clients. RoboLog can be used as an interface from Soccer Server to both C and Prolog.

The SLIE agent modelling software allows researchers in MAS (Multi-Agent Systems) to build simulations of MASes with a view to exploring design problems relating to scalability and robustness using techniques from ecology, biology and economics.

The Semantic Web Service Composer is a prototyp for semi-automatic data flow design between Semantic Web services described in different domain ontologies. More info: http://citeseer.ist.psu.edu/viewdoc/versions?doi=10.1.1.60.9276

SecFlow - Secure Flow Analyzation for Java and .NET

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.

Stream-oriented Java library and a set of command line tools for high quality sentence boundary detection. (Sentence segmentation / splitting / disambiguation). Currently has one model for German (trained on general text and Wikipedia lynx dumps).

Learn basic constraint logic programming by solving logic word puzzles. Go to http://eclipse.dougedmunds.com . This tutorial will show you how to solve easy 1 star to hard 5 star puzzles, using the eCLiPSe-CLP language (available at http://eclipseclp.org/). Don't confuse this programming language (a prolog language) with the IDE for Java.

Yo Ho Ho And A Bottle Of Rum - Fifteen men on a dead man's chest. This is a project for solving a sudoku with the help of Prolog programming language. The program will be able not to only solve a defined sudoku but enumerate all available in a dimension

A 2D action game, introducing a fast multiplayer gameplay, with lots of tactics and fun

Syllog is a system for teaching various forms of logic, including syllogistic logic. It consists of a student-facing Java Applet that runs in the student's browser, and a teacher-facing, server-based logging facility for recording the answers given by students. The student-facing part simply poses questions, to which the student must provide an answer. The teacher-oriented logging facility then logs the answers anonymously for further investigation by the teacher.

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 Systems

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

This project objective is realizing the design, development and implementation of a web application which works as a university planner. The objective was that the system could be installed specifically in the user university and run through the web browser as a local page or having the possibility of installing it in a university server (could be in any site, no need to be in the user university) so through the browser and an internet connection it could be used from anywhere (mainly in developing countries which is the target of the project). The project was initially thought for the Ngozi university in Burundi, so it tries to fulfill the requirements from that university, but the design is as open as it could be so it can be adapted to work on other universities.

Leo is a project to provide an architecture for defining XML specifications of grammars for different natural language parsing systems and tools for using that architecture to permit sharing of grammar resources across different systems.

This project collects the classical "Towers of Hanoi" problem in many programming languages, including lesser known and/or esoteric ones.

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.

TRINDIKIT is a toolkit for building and experimenting with dialogue systems based on information states, that has been developed in the TRINDI and SIRIDUS projects.