H ? « »

Language peer sets for InTense:
United States
United States/1989
Designed 1989
1980s languages
Fifth generation
Late Cold War


alternate simple view
Country: United States
Designed 1989

Extension of Prolog to accomodate temporal and spatial dimensions

Related languages
Prolog InTense   Extension of
InTense microChronolog   Implementation

  • Mitchell, W. (1988) Mitchell, W. H. Intensional Horn clause logic as a programming language - it's use and implementation. Master's thesis, Department of Computer Science and Engineering, Arizona State University, 1988.
  • Mitchell, W. (1989) Mitchell, W. H. and A. A. Faustini. The intensional logic language InTense. In Proc. of the 1989 International Symposium on Lucid and Intensional Programming, Arizona State University, May 8 1989.
  • Orgun M. (1994) Orgun M. A. and W. Du; Multi-dimensional logic programming. To appear in Proc. of ICCI'94: The 6th International Conference on Computing and Information, Trent University, Peterborough, Ontario, Canada, May 26-28 1994.
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: InTense
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder