Open Source Prolog Multimedia Software

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.

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.

This is a short C++/Java/C#/Python benchmark. Based on Paul Heckbert's sources. Thank you Paul!

Howe is a spoken dialogue system project designed for browsing instructions. The project serves as a base for research on new dialogue system capabilities.

Some tools related to the Music Ontology - including domain-specific Semantic Web crawlers, audio collection management and mapping tools

ProLOGO is a LOGO-like language written in swi-prolog with XPCE graphic libraries. Almost all the basic commands are implemented but there is no support for procedures (yet).

Prolog Image Processing is a (initially) MacOS based extension to OpenProlog which allows to use image processing function in the context of Prolog.

Regulus is a Prolog-based toolkit for building spoken dialogue 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.

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

SWI-Prolog interface to ImageMagick graphics processing library