H ? « »

Language peer sets for MTL:
United States
United States/1992
Designed 1992
1990s languages
Fifth generation
Post-Cold War


alternate simple view
Country: United States
Designed 1992

Temporal extensions to prolog

Related languages
Prolog MTL   Extension of

  • Brzoska. (1992) Brzoska. C. Temporal logic programming with metric and past operators. Universitat Karlsruhe, P.O.Box 6980, D-7500 Karlsruhe, Germany, Jan. 1992
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: MTL
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder