Search Results for "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...

A Julia package for Prolog-style logic programming.

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.

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.

CPViz is an open-source visualization toolkit for finite domain constraint programming. It provides visualization for search trees, variables and global constraints through a post-mortem analysis of trace logs.

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

A framework for building, deploying and managing well-described REST-ful Web services, including REST-ful Web Services realizations for RSS, XML Topic Maps, Structured Arguments, and Workflow.

This project implements calculations for Canadian tax returns as a set of Prolog facts and rules. Initial implementation is in SWI-Prolog on Linux; should also work with other Prolog implementations such as GNU Prolog, across any supported platform.

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.

OpenESM project to promote software development of enterprise systems management. Focus areas are (Performance and Availability, Configuration Management, Data Warehousing, Reporting and Correlation).

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.

Web interface to a prolog interpreter, where you can load prolog programs, do consults, and visualize the resolution tree in SVG.

HyperSpider (Java app) collects the link structure of a website. Data import/export from/to database and CSV-files. Export to Graphviz DOT, Resource Description Framework (RDF/DC), XML Topic Maps (XTM), Prolog, HTML. Visualization as hierarchy and map.