Prova 是一种经济，高效的开源活性剂和Java事件处理规则的语言，结合势在必行，声明和函数式编程风格。它的设计工作在分布式企业服务总线和OSGi环境。

Prova 3.0 User Guide.pdf

ws.prova.compact-3.0.0-all.zip

Prova 3.0 改进内容：

• revised and streamlined Prova<->Java integration
• array-based list representation,
• pervasive use of annotations including constraints on metadata,
• Prova maps as basic type with full unification on slotted terms
• guards and guarded cut,
• functional extensions including data-driven monadic pipelines,
• in-place fact transformation,
• reactive agents combining event-driven processes with event pattern detection,
• reaction groups for event processing,
• dynamic branches in workflows,
• sophisticated predicate joins in workflows,
• use of Prova service in and outside of OSGi containers.