Computes all the models of the given list of files, with the given values
for A-Prolog parameters currtime and lasttime, and returns the
TrajectorySet represented by the models.
Computes one model of the given list of files, with the given values
for A-Prolog parameters currtime and lasttime, and returns the
Trajectory contained in the model.