H ?
«
‹
←
→
›
»
Language peer sets for Starlog: Canada↑ Canada/1991↑ Designed 1991 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑ Genus Interval time ↑ Specialised Languages ↑ Interval time↑ Time-indexed↑ Data representation ↑ Interval time/1991↑ Time-indexed/1991↑ Data representation/1991↑ Interval time/Canada↑ Time-indexed/Canada↑ Data representation/Canada↑ Specialised Languages ↑ Specialised Languages/1991↑ Specialised Languages/ca ↑ Starlog(ID:2939/sta024)Stratified Temporal Prologalternate simple viewCountry: Canada Designed 1991 Genus: Interval time Sammet category: Specialised Languages for STrAtified tempoRal LOGic Purely declarative extensions to PROLOG. John Cleary Calgary 1991 Starlog is a declarative temporal logic programming language for general purpose programming, for simulation, and for modelling reactive systems. A Starlog program consists of two components: 1. a set of timed facts describing a history of the Starlog world up to this point, and 2. a set of temporal logic rules describing how to compute a new state of the world from facts true in the previous and current states of the world. (from Homepage) Related languages
References: Resources
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |