[X] The "/02-libpng-devel/1.4.0beta95" file could not be found or is not available. Please select another file.

Share

More
IRIS - Integrated Rule Inference System Icon

IRIS - Integrated Rule Inference System

beta

by bazbishop237, florianfischer, morcen


IRIS is an extensible reasoning engine for Datalog extended with function symbols, unsafe rules, negation, locally stratified or non-stratified programs, XML schema data types and a comprehensive and extensible set of built-in predicates.


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





Separate each tag with a space.

Release Date:

2008-12-02

Topic:

Operating System:

License:

Translations:

Intended Audience:

User Interface:

Programming Language:

Registered:

2006-05-16

Ratings and Reviews

  • Thumbs up:

    2
  • Thumbs down:

    0
100% of 2 users recommend this project

Be the first to post a text review of IRIS - Integrated Rule Inference System. Rate and review a project by clicking thumbs up or thumbs down in the right column.

View all reviews

Project Feed

Rate and Review

Would you recommend this project?






<

Related Projects

IRIS - Integrated Rule Inference System Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review

Thanks for your review!

Get credit for your review by logging in via OpenID. Click your account provider:

No Thanks