H ? « ‹ ← → › »

Language peer sets for Tokio:
Japan↑
Japan/1987↑
Designed 1987 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Tokio(ID:5067/tok002)

alternate simple view
Country: Japan
Designed 1987

Logical programming language for interval temporal logic

Shinji Kono 1987

Tokio, based on interval temporal logic. It is supported by both an interpreter and a compiler. It is close to Tempura, but supports non-deterministic execution.


Related languages
Prolog → Tokio   Based on
Tempura → Tokio   Influence
References:
  • Aoyagi, T.; M. Fujita, and T. Moto-oka. (1986) Aoyagi, T.; M. Fujita, and T. Moto-oka. "Temporal logic programming language Tokio" pp138-147

    Internal error

    LETVAR\\\: Invalid procedure call or argument 5 ProtiumLPNDB at strContent Checking wild card

          in Wada, E. (1986) Wada, E. (ed),Logic Programming'85, LNCS 221, Springer-Verlag, 1986.
  • Fujita M. et al (1986) Fujita M. et al "LP Language based on Temporal Logic and its compilation to Prolog", Proc. of Int. Conf. on LP, London, July 1986
          in Wada, E. (1986) Wada, E. (ed),Logic Programming'85, LNCS 221, Springer-Verlag, 1986.
  • (1986) Fujita Masahiro et al; Using the Temporal Logic Programming Language Tokio for algorithm description and automatic CMOS gate array synthesis, pp246-255

    Internal error

    LETVAR\\\: Invalid procedure call or argument 5 ProtiumLPNDB at strContent Checking wild card

          in Wada, E. (1986) Wada, E. (ed),Logic Programming'85, LNCS 221, Springer-Verlag, 1986.
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: Tokio
          in Wada, E. (1986) Wada, E. (ed),Logic Programming'85, LNCS 221, Springer-Verlag, 1986.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder