Advertisement

Implementation of temporal logic programming language Tokio

  • S. Kono
  • T. Aoyagi
  • M. Fujita
  • H. Tanaka
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)

Abstract

The temporal logic programming language, "Tokio" can be executed by a resolution of Interval Temporal Logic. The resolution consists of three parts, which are: the unification of the temporal variable, reduction including temporal operator, and interval control. The implementation of Tokio includes automatic interval length determination and stream-like temporal variable representation. At the end of this report, an abbreviated version of a Tokio interpreter written in Prolog will be shown.

Keywords

Temporal Logic Primary Negation Systolic Array Horn Clause Linear Time Temporal Logic 
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, "Temporal Logic Based Hardware Description and Its Verification with Prolog", New Generation Computing, Vol. 1, No. 2, pp. 195–203 1983.Google Scholar
  2. [2]
    B. Moszkowski, "Reasoning about Digital Circuits", Report No. STAN-CS-83-970, Department of Computer Science, Stanford University, July 1983.Google Scholar
  3. [3]
    F. Pereira, "C-Prolog Users Manual Version 1.5" EdCAD, Edinburgh Univ. 1984.Google Scholar
  4. [4]
    E. Shapiro, "A subset of Concurrent Prolog and its Interpreter", TR-003, ICOT 1983.Google Scholar
  5. [5]
    K. Ueda, "Guarded Horn Clauses", TR-103, ICOT, 1985Google Scholar
  6. [6]
    D. Warren, "AN ABSTRACT RPOLOG INSTRUCTION SET", Technical Note 309, SRI International, October 1983.Google Scholar
  7. [7]
    P. Wolper, "Temporal logic Can Be More Expressive", 22nd Annual Symposium on Foundation of Computer Science, October 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • S. Kono
    • 1
  • T. Aoyagi
    • 1
  • M. Fujita
    • 1
  • H. Tanaka
    • 1
  1. 1.Department of Electronic EngineeringUniversity of TokyoJapan

Personalised recommendations