A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming