Search Results for "gnu prolog"

A computer scientist has attempted to program a textbook of British general practice (primary care) medicine, that is, Hodgkin K (1978) "Towards Earlier Diagnosis....", 4th Edition, Churchill Livingstone. If a patient types presenting findings (such as headache, cough), the program prompts the user for expansion/denial of appropriate findings, in order to construct a list of patient findings. The program also calculates a list of likely diseases, which the user can use the web to find out...

This is software to create web dictionaries, esp. for Esperanto like Reta Vortaro (http://reta-vortaro.de). A dictionary is made from articles written in a special XML dialect by transformations using XSLT, ant and some Java code.

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

medSLT - The Medical Speech Translator

Representation of my philosophy (currently limited to philosophy of language) in the languages Prolog or Life. These languages must be acquired separately and Ruby is also needed. However the main purpose is to show how some philosophy problems can be solved. The source code and output are sufficient for that.

JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.

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

The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.

This project aims to be a easy-to-use toolkit of algorithms and utilities for semantic data mining. So far all algorithms are implemented as web services and we provide widgets for their use in the Orange4WS data mining platform.

PrechacThis is a web-based siteswap generator for jugglers. It finds all symmetric passing patterns fulfilling given constraints like period-length and maximum height of throws.

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.

A collection of tools for working with the comparative data analysis ontology including import/export facilities for common phylogenetic file formats, and also a triple-store framework.

PhyloPattern is a Java/Prolog API, helpful to simulate human reading of phylogenetic trees. Bioinformatician can: annotate trees, apply complex patterns to a tree to search specific architectures or extract information, compare trees with dynamically gen

iDocs is a intellectual document work flow with text mining options project.

Dali is a standard DAta structure LIbrary for Prolog. It only uses ISO Prolog. It offers a wide range of efficient data structures.

An agent-based dialogue management system that maintains a probabilistic nested belief model and uses it in the choice of dialogue strategies

IISA - Intelligent Interface to Sequence Analysis is an expert system for biological sequence analysis using Bioperl and Prolog.

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

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

This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.

Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...

Weapon-classifying expert systems for melee weapons and firearms.

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.