Open Source Prolog Software - Page 6

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.

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).

A prolog-based functional-logical "Make" tool for managing the execution of complex interdependent tasks

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.

Some More Individual - Yes! A couple of projects around Semantic Web technologies to help to establish a better accessible Web and personalize this access.

This sourceforge project provides users with the possibility to perform the experiment described in the article "Closing the Gap between Space and Semantics." The project files contain: - A modified D2RQ engine to perform spatial queries - A Sesame/UseekM Environment - A SWI Prolog module to test the Space package Also: Open Street map dataset for Baden-Würtemberg, Partial Linked GeoData Dataset, Ravensburg Good Relation Dataset. All files are grouped for the relating Experiments.

Resources and code samples for Strawberry Prolog users

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

Sun Profile Project.

A language named after Sven (The AI in the book \'The Turing Option\'), intended to simplify work on AI. Will (eventually) include librarys for Neural Networks, expert systems, symbolic logic, and more.

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

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.

This project will provide an interface for using Lightweight Communications Calculus (LCC) to control agents in the Unreal Tournament enviroment. It consists of a prolog-style interperter, LCC parser/IDE,a GUI / LCC editor and interfaces to the Gamebots

Virtual Reality Environment based on Internet to teach Logic and Functional Programming