Temporal logic programming language Tokio programming in Tokio
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.
KeywordsTemporal Operator Logical Variable Recursive Call Extra Variable Logic Programming Language
Unable to display preview. Download preview PDF.
- 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
- B. Moszkowski, "A Temporal Logic for Multi Level Reasoning about Hardware", IEEE Computer Magazine, February 1985.Google Scholar
- B. Moszkowski, "Executing Temporal Logic Programs", Technical Report No. 55 University of Cambridge, Computer Laboratory 1984.Google Scholar
- E. Shapiro, "A subset of Concurrent Prolog and its Interpreter", TR-003, ICOT 1983.Google Scholar