Modular Reasoning about Actions: MAD --- the Modular Action Description language
The Modular Action Description language MAD is a descendant of the C action language and of the Causal Calculator (CCalc). MAD extends C by adding the capability to split action descriptions into modules, and allowing action/fluent constants to be redefined during the process of "importing" a module. Its semantics is based on that of C .
http://www.cs.utexas.edu/users/tag/mad/">More information