An overview of temporal and modal logic programming

Abstract

Abstract. This paper presents an overview of the development of the field of temporal and modal logic programming. We review temporal and modal logic programming languages under three headings: (1) languages based on interval logic, (2) languages based on temporal logic, and (3) languages based on (multi)modal logics. The overview includes most of the major results developed, and points out some of the similarities, and the differences, between languages and systems based on diverse temporal and modal logics. The paper concludes with a brief summary and discussion.

An Operational Semantics of Starlog

“…Brzoska shows that Templog programs can be translated into CLP programs [7], and Orgun et. al suggest that programs in other TLP languages can also be translated into CLP programs [34]. Thus, our operational semantics offers a bottom-up execution mechanism for these TLP languages.…”

“…As programs in TLP languages such as Templog [1], Tokio [2], Temporal Prolog [14], Tempura [32] and Chronology [47] can be translated into CLP programs [7,34], our operational semantics offers a bottom-up execution mechanism for these TLP languages which use extensions of the SLD resolution as operational semantics.…”

Temporally Annotated Extended Logic Programs

“…Note that we do not support operations, such as next, until, since, sometimes, and always, supported by temporal logic (for an overview, see [18]). Additionally, we do not support inferences such that ``if something is true in one temporal interval then something else is true in another temporal interval", as supported by [19].…”

Declarative programming for agent applications

“…Useful surveys of this work are in [80] and [81]. A recent paper showing the current state of the art of modal logic programming languages is [82].…”