The Datalog package contains a lightweight deductive database system. The latest release has been accepted as a package for Redhat systems. Install with: $ sudo yum install datalog John
