Partial Evaluation of Nested Guraded Horn Clauses Programs using Temporal Logic Formulas