» Main »
IRIS Reasoner - an extensible reasoning engine for expressive rule-based languages
Published by apps.0install.net
- 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
- 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
- Available versions
The list below is just for information; Zero Install will automatically select one of these versions for you.
Version Released Stability Platform Download 0.6.0 2011-03-26 Any Download (4329896 bytes) - Required libraries
This feed does not list any additional requirements.