0
I Use This!
Activity Not Available
Analyzed over 2 years ago. based on code collected over 2 years ago.

Project Summary

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.

Tags

No tags have been added

In a Nutshell, IRIS - Integrated Rule Inference System...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    data presented on the Open Hub is available through our API

Languages

Languages?height=75&width=75
Java
93%
7 Other
7%

30 Day Summary

May 12 2016 — Jun 11 2016

12 Month Summary

Jun 11 2015 — Jun 11 2016