Amine is a Multi-Layer Platform for the dev. of Intelligent System
Amine is a Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems (Knowledge-Based, Ontology-Based, Conceptual Graph Based, NLP, etc.) and Intelligent Agents. See: //amine-platform.sourceforge.net/
Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.
A Prolog expert system supporting querying and extending the knowledge base from a command-line interface using a format oriented on natural language, with the aim of being maintainable by the domain expert (i.e. without requiring programming skills).
Simple Object Oriented Programming Framework for Prolog
Regulus is a Prolog-based toolkit for building spoken dialogue systems.
PrologTab plugin integrates a Prolog inference engine with the Protege-2000 knowledge base.
A Python extension embedding SWI-Prolog.
Dali is a standard DAta structure LIbrary for Prolog. It only uses ISO Prolog. It offers a wide range of efficient data structures.
Prodox provide a basic library to provide doxygen comments in a Prolog language file. With dedicated predicate (doxygen), user can comment Prolog files in doxygen format and generate a file ready to be used as input by doxygen.
A Framework for Implementing Three Laws of Robotics. It is based on my ongoing PhD research on that topic. See roland.pri.ee/doktor and roland.pri.ee/wiki/doktor for more details. The system implements a parser for a declarative language and a planner
ArchSync is an Eclipse plugin whose purpose is to keep architectural level Use Case Map specifications up-to-date semi-automatically using real execution traces from an evolving implementation.
This project assembles the implementations of inference engines for CHORD, an object-oriented extension of CHRD.
Ciao Prolog is a GPL licensed, extensible, nex generation Prolog system, offering a programming environment with plenty of capabilities and libraries. Too many to be listed here.
Component (library, framework) refactoring may affect existing applications, where the client code used previous component versions. Our tool preserves applications binary-compatible by generating an adaptation layer out of change history.
Artificial Intelligence techniques applied to common software tasks, using First Order Logic; N3, OWL ontologies and rules. Enables component-based application building, platform independence, user-friendliness. Leverage on Euler inference engine + GUI.
Am implementation of ISO Prolog standard as Java library. We have moved to savannah: https://savannah.gnu.org/projects/gnuprologjava/
Kiss Prolog is a new Prolog System based in Simplicity and Scalability. Kiss Prolog engine (AM) is about 10-30 times faster than commercial AM and about 10 times smaller.
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.
Semantic Web server for searching in annotated repositories of visual resources. Includes all the software underlying the application that won the International Semantic Web Challenge 2006. Provide by the e-culture.multimedian.nl project
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.
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).
A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine
"Nuclos" is an object-oriented framework which incorporates basic functionality to build "business" software.
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.
An implementation of a webserver written in the high level programming language Mercury (http://www.mercury.cs.mu.oz.au).