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 Prolog 

alternate simple view
Country: 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
Prolog → Starlog   Extension of
References:
  • Cleary, J.G. (1991) Cleary, J.G. and V. N. Kaushik. Updates in a temporal logic programming language. Technical report, Department of Computer Science, University of Calgary, Calgary, Alberta, Canada, 1991.
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: Starlog
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder