Action languages serve for describing changes that are caused by performing
actions.  We define a new action language <I>C,</I> 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 <I>C</I> to the
Baral-Gelfond theory of concurrent actions.