Title: Executing temporal logic programs