Wadge, W. W. Tense logic programming: a respectable alternative. Department of Computer Science, University of Victoria, Victoria, B.C., Canada, 1985

Languages mentioned

• Chronolog {1985} Temporal version of Prolog
• THLP {1985}