Inductive Temporal Logic Programming