Spatio-Temporal Annotated Constraint Logic Programming