Rolston, D. W. Chronolog: A pure tense-logic-based infinite-object programming language. Department of Computer Science and Engineering, Arizona State University, Tempe, Arizona, Aug. 1986
(1986)
Languages mentioned
Chronolog
{1985} Temporal version of Prolog