Skip to main content
SpringerLink
Log in

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

  • Session 7b: Models Of Computation And Implementation
  • Conference paper
  • First Online:
Third International Conference on Logic Programming (ICLP 1986)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 225))

Included in the following conference series:

Abstract

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. B.C. Moszkowski, "Reasoning about Digital Circuit", Rep. No. STAN-CS-83-970 Dept. of Computer Science, Stanford Univ. July 1983.

    Google Scholar 

  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. P. Wolper, "Temporal logic Can Be More Expressive", 22nd Annual Symposium on Foundation of Computer Science, October 1981.

    Google Scholar 

  5. B.C. Moszkowski, "Executing Temporal Logic Programs", Rep. No.55 Computer Laboratory, Univ. of Cambridge, 1984.

    Google Scholar 

  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. K. Ueda, "Guarded Horn Clauses", TR-103, ICOT, 1985.

    Google Scholar 

  8. W.F Clockskin and C.S Melish, "Programming in Prolog", Springer-Verlag, New York, 1981.

    Google Scholar 

  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. 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. 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. M. Fujita, "Logic Design Assistance with Temporal Logic", Doctoral Dissertation, Information Engineering, University of Tokyo, 1984.

    Google Scholar 

  13. F. Pereira, "C-Prolog Users Manual Version 1.5", EdCAD, Edingburh Univ. 1984.

    Google Scholar 

  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. I. Futo, J. Szeredi, "T-PROLOG A VERY HIGH LEVEL SIMULATION SYSTEM GENERAL INFORMATION MANUAL", 1011 Budapest I. iskcla utca, April 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fujitsu Laboratories Ltd., Japan

    M. Fujita

  2. Department of Electronic Engineering, University of Tokyo, Japan

    S. Kono, H. Tanaka & T. Moto-oka

Authors
  1. M. Fujita
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. Kono
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. H. Tanaka
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. T. Moto-oka
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ehud Shapiro

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fujita, M., Kono, S., Tanaka, H., Moto-oka, T. (1986). Tokio: Logic programming language based on temporal logic and its compilation to Prolog. In: Shapiro, E. (eds) Third International Conference on Logic Programming. ICLP 1986. Lecture Notes in Computer Science, vol 225. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16492-8_119

Download citation

  • DOI: https://doi.org/10.1007/3-540-16492-8_119

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16492-0

  • Online ISBN: 978-3-540-39831-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation