MuTACLP: A language for temporal reasoning with multiple theories