Tokio: Logic programming language based on temporal logic and its compilation to Prolog

  • M. Fujita
  • S. Kono
  • H. Tanaka
  • T. Moto-oka
Session 7b: Models Of Computation And Implementation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 225)


Tokio is a temporal logic programming language. It is a sophisticated extension of Prolog intended for specification of concurrent programs. Its basic execution is a resolution of Linear Time Temporal Logic [1]. Tokio also has an extension that can execute Interval Temporal Logic


Temporal Logic Logic Programming Interval Variable Interval Length Horn Clause 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Z. Manna and A. Pnueli, "Verification of Concurrent Programs, Part 1: The Temporal Framework", Dept. of Computer Science, Stanford Univ. Report STAN-CS-81-836, June 1981.Google Scholar
  2. [2]
    B.C. Moszkowski, "Reasoning about Digital Circuit", Rep. No. STAN-CS-83-970 Dept. of Computer Science, Stanford Univ. July 1983.Google Scholar
  3. [3]
    M. Fujita, H. Tanaka and T. Moto-oka, "Logic Design Assistance with Temporal Logic", IFIP 7th Computer Hardware Description Languages and their Applications, August 1985.Google Scholar
  4. [4]
    P. Wolper, "Temporal logic Can Be More Expressive", 22nd Annual Symposium on Foundation of Computer Science, October 1981.Google Scholar
  5. [5]
    B.C. Moszkowski, "Executing Temporal Logic Programs", Rep. No.55 Computer Laboratory, Univ. of Cambridge, 1984.Google Scholar
  6. [6]
    M. Kituregawa, H. Tanaka and T. Moto-oka, "Relational Algebra Machine GRACE", Lecture Notes in computer Science 147, Springer-Verlag, March, 1983.Google Scholar
  7. [7]
    K. Ueda, "Guarded Horn Clauses", TR-103, ICOT, 1985.Google Scholar
  8. [8]
    W.F Clockskin and C.S Melish, "Programming in Prolog", Springer-Verlag, New York, 1981.Google Scholar
  9. [9]
    S. Kono T. Aoyagi, M. Fujita, H. Tanaka, "Implementation of temporal logic programming language Tokio", to be appeared as "Proceedings of LPC'85", Lecture Notes in Computer Science Springer-Verlag.Google Scholar
  10. [10]
    M. Fujita, S. Kono, H. Tanaka and T. Moto-oka, "Assistance in Hierarchical and Structured Logic Design Using Temporal Logic and Prolog", to be appeared in IEE proceedings-E COMPUTER AND DIGITAL TECHNIQUES.Google Scholar
  11. [11]
    M. Fujita, H. Tanaka and T. Moto-oka, "Specifying Hardware in Temporal Logic & Efficient Synthesis of State-Diagrams Using Prolog", Proc. of FGCS '84, Tokyo Japan, November 1984.Google Scholar
  12. [12]
    M. Fujita, "Logic Design Assistance with Temporal Logic", Doctoral Dissertation, Information Engineering, University of Tokyo, 1984.Google Scholar
  13. [13]
    F. Pereira, "C-Prolog Users Manual Version 1.5", EdCAD, Edingburh Univ. 1984.Google Scholar
  14. [14]
    T. Moto-oka, H. Tanaka, H. Aida, K. Hirata and T. Maruyama, "The Architecture of a Parallel Inference Engine-PIE-", Proc. of FGCS '84, Tokyo, Japan, November 1984.Google Scholar
  15. [15]
    I. Futo, J. Szeredi, "T-PROLOG A VERY HIGH LEVEL SIMULATION SYSTEM GENERAL INFORMATION MANUAL", 1011 Budapest I. iskcla utca, April 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • M. Fujita
    • 1
  • S. Kono
    • 2
  • H. Tanaka
    • 2
  • T. Moto-oka
    • 2
  1. 1.Fujitsu Laboratories Ltd.Japan
  2. 2.Department of Electronic EngineeringUniversity of TokyoJapan

Personalised recommendations