Representing the language of the causal calculator in answer set programming