Advertisement

Temporal logic programming language Tokio programming in Tokio

  • T. Aoyagi
  • M. Fujita
  • T. Moto-oka
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)

Abstract

We introduce Tokio, a sophisticated extension of Prolog. Tokio is based on interval temporal logic (ITL) (Moszkowski 1983), and includes many useful ITL operators. We will discuss how those temporal operators work. Some simple execution examples of Tokio are also included. Finally, we compare and contrast Tokio with other logic programming languages. Tokio is especially well suited for hardware description. We are now developing a total logic design assistance system based on Tokio.

Keywords

Temporal Operator Logical Variable Recursive Call Extra Variable Logic Programming Language 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    M. Fujita "Specifying Hardware in Temporal Logic & Efficient Synthesis of State Diagram Using Prolog", Int. Conf. of Fifth Generation Computer System 1984, Tokyo, November 1984.Google Scholar
  2. [2]
    B. Moszkowski, "A Temporal Logic for Multi Level Reasoning about Hardware", IEEE Computer Magazine, February 1985.Google Scholar
  3. [3]
    B. Moszkowski, "Executing Temporal Logic Programs", Technical Report No. 55 University of Cambridge, Computer Laboratory 1984.Google Scholar
  4. [4]
    E. Shapiro, "A subset of Concurrent Prolog and its Interpreter", TR-003, ICOT 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • T. Aoyagi
    • 1
  • M. Fujita
    • 1
  • T. Moto-oka
    • 1
  1. 1.Department of Electronic EngineeringUniversity of TokyoJapan

Personalised recommendations