Temporal logic programming

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... View More