Prolog+CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph (CG) theory of John Sowa. CGs are first-class datatypes on a par with terms. Object oriented extensions are also included.
SysUnit is a JUnit framework for distributed testing, system testing and integration testing. SysUnit is ideal for testing highly distributed software such as clusters of web applications, web services or MOM based software