Temporal logic programming

Abstract

Abstract We can distinguish two views of logic, the declarative and the imperative. The declarative view is the traditional one, and it manifests itself both syntactically and semantically. Syntactically a logical system is taken as being characterized by its set of theorems. It is not important how these theorems are generated. Two different algorithmic systems generating the same set of theorems are considered as producing the same logic. Semantically a logic is considered as a set of formulae valid in all models.