Action language BC+
action language bc : preliminary report .