H ? « ‹ ← → › »

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

InTense(ID:6840/int028)

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
References:
  • 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