Roscidus.com Zero Install Mirror

» Main » IRIS Reasoner

IRIS Reasoner - an extensible reasoning engine for expressive rule-based languages

Published by Thomas Leonard

Overview

This is a Zero Install feed. This software cannot be run as an application directly. It is a library for other programs to use.

For more information about Zero Install, see 0install.net.

Full name

http://repo.roscidus.com/java/iris

Description

IRIS is an open-source Datalog reasoner that can evaluate safe or unsafe datalog extended with function symbols, XML schema data types, built-in predicates and (locally) stratified or well-founded negation as failure.

Homepage

http://www.iris-reasoner.org/

Available versions

The list below is just for information; Zero Install will automatically select one of these versions for you.

VersionReleasedStabilityPlatformDownload
0.6.02011-03-26AnyDownload (4329896 bytes)
Required libraries

This feed does not list any additional requirements.