Tokio(ID:5067/tok002)

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. "Temporal logic programming language Tokio" pp138-147 view details Abstract:

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

          in Wada, E. (ed),Logic Programming'85, LNCS 221, Springer-Verlag, 1986. view details
  • Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 view details Extract: Tokio
    Tokio was proposed as a logic language for the description of computer hardware. It is based on the first-order local interval temporal logic (ITL), influenced by Tempura. Like Tempura, Tokio is based on a discrete linear-time. The execution of a Tokio program is a mixture of resolution and transformation (or reduction). Therefore in order to give a formal semantics to Tokio, one would need to combine the semantics of ITL with a semantics of Prolog that explicitly represents the execution mechanism.

          in Wada, E. (ed),Logic Programming'85, LNCS 221, Springer-Verlag, 1986. view details