SHOP2 is a domain-independent automated-planning system based on ordered task decomposition, a type of Hierarchical Task Network (HTN) planning. Development is no longer done on sf; only file hosting now. WARNING: Java code here is not maintained....
Algernon is a rule-based reasoning engine written in Java. It allows forward and backward chaining across Protege knowledge bases. In addition to traversing the KB, rules can call Java functions and LISP functions (from an embedded LISP interpreter)
JazzScheme is a programming language based on Scheme. It is also a full featured development platform that has been used for more than 10 years to develop high-quality commercial applications.
SISCweb is a framework to facilitate writing stateful Scheme web applications in a J2EE environment. An example WAR file ready for use is provided. Try it today!