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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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.
B. Moszkowski, "A Temporal Logic for Multi Level Reasoning about Hardware", IEEE Computer Magazine, February 1985.
B. Moszkowski, "Executing Temporal Logic Programs", Technical Report No. 55 University of Cambridge, Computer Laboratory 1984.
E. Shapiro, "A subset of Concurrent Prolog and its Interpreter", TR-003, ICOT 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aoyagi, T., Fujita, M., Moto-oka, T. (1986). Temporal logic programming language Tokio programming in Tokio. In: Wada, E. (eds) Logic Programming '85. LP 1985. Lecture Notes in Computer Science, vol 221. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16479-0_13
Download citation
DOI: https://doi.org/10.1007/3-540-16479-0_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16479-1
Online ISBN: 978-3-540-39820-2
eBook Packages: Springer Book Archive