Spatio-temporal knowledge bases in a constraint logic programming framework with multiple theories