The rule markup language project.
An attempt to define a standard for the XML representation of rules.
Mandarax provides interfaces for these standard xml formats.
Oryx An extension containing a visual editor,
a JSP tag lib to deploy applications and a catalog like meta-data concept.
Prova A Language for Rule-based
Java Scripting and Data Integration from the City University London. The design goal is to
"Marry the benefits of declarative and object-oriented programming". Uses mandarax.
The log4j log framework.
Used in the mandarax project.
The jdom xml framework.
We use it for the XML mandarax interface (XKB)
The junit testing framework.
We use it extensively for software QA.
Lecture Logic and Proof.
by Dr. Larry Paulson, University of Cambridge. This lecturer is a good introduction into Logic and Proof concepts.
The Rule ML homepage. A project focusing on the
introduction of a standard xml representation of rules.
Loop-Checking. This PhD thesis from Roland N. Bol
is a good paper about the concepts of loop checking in logic programming.