Native ADL Support

The native support of ADL in Marvin provides two benefits, arising from the ability to use non-compiled domain formulations:

• Potentially improved efficiency, due to a more-efficient representation.
• The ability to infer reusable, parameterised macro-action sequences from the original ADL actions, whose parameters are lost as a side-effect of the process used to compile ADL to STRIPS domains.