Tokio: Logic programming language based on temporal logic and its compilation to Prolog
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Executing temporal logic programsPublished by Springer Nature ,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