CACTUS
swMATH ID:  2907 
Software Authors:  Gergatsoulis, Manolis 
Description:  Extensions of the branchingtime 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). 
Homepage:  http://www.springerlink.com/content/m66204q328p11182/fulltext.pdf 
Keywords:  Cactus 
Related Software:  Datalog; DeCART; FCVODE; GASpAR; FLASH; GRChombo; ENZO; MAP; Carpet; Einstein Toolkit; Cactus; Chombo; FLASH; CWENO; NIRVANA; PARAMESH; PVS; METATEM; Lucid 
Referenced in:  15 Publications 
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH  Year 

Extensions of the branchingtime logic programming language CACTUS. Zbl 1001.68021 Gergatsoulis, Manolis 
2000

all
top 5
Referenced by 22 Authors
all
top 5
Referenced in 12 Serials
Referenced in 5 Fields
13  Computer science (68XX) 
4  Mathematical logic and foundations (03XX) 
2  Numerical analysis (65XX) 
1  Fluid mechanics (76XX) 
1  Statistical mechanics, structure of matter (82XX) 