action language bc : preliminary report .
Representing First-Order Causal Theories by Logic Programs