H ? « ‹ ← → › »

Language peer sets for Chronolog:
Canada↑
Canada/1985↑
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Chronolog(ID:2225/men004)

Temporal version of Prolog 

alternate simple view
Country: Canada
Designed 1985

Temporal version of Prolog
Related languages
LUCID → Chronolog   Influence
microChronolog → Chronolog   Evolution of
THLP → Chronolog   Evolution of
Chronolog → ATSQL2   Incorporated some features of
Chronolog → Chronolog 3d   Extension of
Chronolog → Chronolog(0)   Extension of
Chronolog → Chronolog(MC)   Enhancement of
Chronolog → Chronolog(Z)   Enhancement of
Chronolog → ChronoSQL   Subsystem
Chronolog → Disjunctive Chronolog   Extension of
References:
  • Wadge, W. (1985) Wadge, W. W. Tense logic programming: a respectable alternative. Department of Computer Science, University of Victoria, Victoria, B.C., Canada, 1985
  • Rolston, D. (1986) 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
  • Rolston, D. (1987) Rolston, D. W. Toward a tense-logic-based mitigation of the frame problem. In F. M. Brown, editor, Proc. of the 1987 Workshop on the Frame Problem in AI, Lawrence, Kansas, Apr. 1987. Morgan Kaufmann
  • Wadge, W. W. (1988) Wadge, W. W. "Tense logic programming: a respectable alternative" In Proc. of the 1988 International Symposium on Lucid and Intensional Programming, pp. 26-32, Sidney, B.C., Canada, Apr. 7-8 1988
  • Bohlen, M. (1992) Bohlen, M. and R. Marti. A Temporal Extension of the Deductive Database System ProQuel. Technical report, Departement Informatik, ETH Zurich, 1992.
  • Orgun, M. A. and W. W. Wadge (1993) Orgun, M. A. and W. W. Wadge "Chronolog admits a complete proof procedure" pp120-135 Abstract
          in Proc. (1993) Proc. of ISLIP'93: The 6th International Symposium on Lucid and Intensional Programming (Quebec City, Canada. April 26-27). Universite Laval, 1993
  • Bohlen, M. (1994) Bohlen, M. and R. Marti. On the Completeness of Temporal Database Query Languages. In Proceedings of the First International Conference on Temporal Logic, July 1994, pages 283-300
          in Proc. (1993) Proc. of ISLIP'93: The 6th International Symposium on Lucid and Intensional Programming (Quebec City, Canada. April 26-27). Universite Laval, 1993
  • Bohlen, M. (1994) Bohlen, M. Managing Temporal Knowledge in Deductive Databases. PhD thesis, Departement Informatik, ETH Zurich, 1994.
          in Proc. (1993) Proc. of ISLIP'93: The 6th International Symposium on Lucid and Intensional Programming (Quebec City, Canada. April 26-27). Universite Laval, 1993
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994
          in Proc. (1993) Proc. of ISLIP'93: The 6th International Symposium on Lucid and Intensional Programming (Quebec City, Canada. April 26-27). Universite Laval, 1993
  • Bohlen, M. (1995) Bohlen, M. Temporal Database System Implementations. SIGMOD RECORD, 1995, 24(4), pages 53{60.
          in Proc. (1993) Proc. of ISLIP'93: The 6th International Symposium on Lucid and Intensional Programming (Quebec City, Canada. April 26-27). Universite Laval, 1993
  • Liu, Chuchang and Orgun, Mehmet A. (1996) Liu, Chuchang and Orgun, Mehmet A. "Knowledge-based simulation with Chronolog" pp273-286
          in Orgun, M.A. (1996) Orgun, M.A. and E.A. Ashcroft, editors, Intensional Programming I, World-Scientific, Singapore, 1996
  • Orgun, Mehmet A. Faustini, Anthony A. (1996) Orgun, Mehmet A. Faustini, Anthony A. "The Chronolog family of languages" pp722-724
          in Journal of Symbolic Computation 22(5-6) Nov./Dec. (1996) Journal of Symbolic Computation 22(5-6) Nov./Dec. 1996 Special issue: executable temporal logics
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder