CACTUS
Extensions of the branching-time logic programming language CACTUS. Cactus has been proposed as a temporal logic programming language based on the branching notion of time. Cactus supports two main operators: the temporal operator first which refers to the first moment in time and the temporal operator next i which refers to the ith child of the current moment. Actually by next i we denote a family {next i ∣i∈ℕ} of next operators, each one referring to a different next moment that immediately follows the present one. In this paper we propose the extension of Cactus with new temporal operators. More specifically, we investigate the use of two variants of the operator next namely the operators O F and O G referring to “some next moment” and “all next moments” respectively. We also investigate the use of branching variants of the well known temporal operators □ (always) and ♦ (sometime).
Keywords for this software
References in zbMATH (referenced in 14 articles , 1 standard article )
Showing results 1 to 14 of 14.
Sorted by year (- Hatori, Tomoharu; Ito, Atsushi M.; Nunami, Masanori; Usui, Hideyuki; Miura, Hideaki: Level-by-level artificial viscosity and visualization for MHD simulation with adaptive mesh refinement (2016)
- Hoffman, Adam J.; Lee, John C.: A time-dependent neutron transport method of characteristics formulation with time derivative propagation (2016)
- Yang, Xiaoxiao; Duan, Zhenhua; Ma, Qian: Axiomatic semantics of projection temporal logic programs (2010)
- Orgun, Mehmet A.; Liu, Chuchang; Nayak, Abhaya C.: Knowledge representation, reasoning and integration using temporal logic with clocks (2008)
- Yang, Xiaoxiao; Duan, Zhenhua: Operational semantics of Framed Tempura (2008)
- Potikas, Petros; Rondogiannis, Panos; Gergatsoulis, Manolis: A value-propagating transformation technique for Datalog programs based on non-deterministic constructs (2006)
- Nomikos, Christos; Rondogiannis, Panos; Gergatsoulis, Manolis: Temporal stratification tests for linear and branching-time deductive databases (2005)
- Gergatsoulis, Manolis; Nomikos, Christos: A proof procedure for temporal logic programming (2004)
- Gergatsoulis, Mansolis; Rondogiannis, Panos; Panayiotopoulos, Themis: Temporal disjunctive logic programming (2001)
- Rondogiannis, P.: Stratified negation in temporal logic programming and the cycle-sum test (2001)
- Rondogiannis, Panos; Gergatsoulis, Manolis: The branching-time transformation technique for chain datalog programs (2001)
- Gergatsoulis, Manolis: Extensions of the branching-time logic programming language CACTUS (2000)
- Rondogiannis, P.; Wadge, W. W.: Higher-order functional languages and intensional logic (1999)
- Rondogiannis, P.; Gergatsoulis, M.; Panayiotopoulos, T.: Branching-time logic programming: The language \itCactus and its applications (1998)