Tokio: Logic programming language based on temporal logic and its compilation to Prolog
- 1 January 1986
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Executing temporal logic programsLecture Notes in Computer Science, 1985
- Relational algebra machine GRACEPublished by Springer Nature ,1983
- Temporal logic can be more expressivePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- Verification of Concurrent Programs. Part I. The Temporal Framework,Published by Defense Technical Information Center (DTIC) ,1981