Prova language

Rule-based JVM language combining Prolog-style rules with Java. Extends Mandarax with derivation and reaction rules, agent messaging (JMS, JADE), and transparent access to DBs, XML, and web services.