I am happy to announce the availability of the first version of the
new Mandarax compiler ("Relational Programming for the JVM"):
http://code.google.com/p/mandarax/.
The main features are:
An expressive and simple DSL to define relationships between objects
through rules. The language re-uses many Java language elements. In
particular, the expression syntax is Java based.
A modular, template-based compiler that generates optimised Java
code.
Lazy evaluation of queries.
An iterator based API.
Semantic reflection: runtime access to the derivation trace.
Support for advanced features such as negation as failure, In Domain
expressions, relationship inheritance and aggregations.
A comprehensive test suite.
An implementation of the Userv example (web start, click this link to
start:
http://www-ist.massey.ac.nz/JBDietrich/userv-mdrx/userv.jnlp )
Comprehensive documentation:
http://goo.gl/ahzMW
Give it a go! Jens