Action languages serve for describing changes that are caused by performing
actions. We define a new action language C, based on the theory of
causal explanation proposed recently by McCain and Turner, and illustrate
its expressive power by applying it to a number of examples.
The mathematical results presented in the paper relate C to the
Baral-Gelfond theory of concurrent actions.