To run the examples in the subdirectories from command line, type prova[.bat] followed by the absolute or relative path and name
of the top Prova file to be run. For example,

prova[.bat] examples/function_tests/dl_typing/typedDL.prova


++++++++++++++++++++++++++++++++++++++++++++
RuleMLtoProva Java Translator is Deprecated
++++++++++++++++++++++++++++++++++++++++++++

Translates RuleML 0.8x to 0.86 and RBSLA 0.0.1

For higher versions of RuleML and RBSLA please use the XSLT stylesheets of the RBSLA/ContractLog distribution