Abstract In this survey, we present an overview on (Modal) Temporal Logic Programming in view of its application to Knowledge Representation and Declarative Problem Solving. The syntax extension logic programs is the result combining usual rules with temporal modal operators, as Linear-time (LTL). paper, focus main recent results non-monotonic formalism called Equilibrium (TEL) that defined for...