{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T22:04:41Z","timestamp":1743458681906},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164920"},{"type":"electronic","value":"9783540398318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16492-8_119","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:50:10Z","timestamp":1330195810000},"page":"695-709","source":"Crossref","is-referenced-by-count":22,"title":["Tokio: Logic programming language based on temporal logic and its compilation to Prolog"],"prefix":"10.1007","author":[{"given":"M.","family":"Fujita","sequence":"first","affiliation":[]},{"given":"S.","family":"Kono","sequence":"additional","affiliation":[]},{"given":"H.","family":"Tanaka","sequence":"additional","affiliation":[]},{"given":"T.","family":"Moto-oka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"59_CR1","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli, \"Verification of Concurrent Programs, Part 1: The Temporal Framework\", Dept. of Computer Science, Stanford Univ. Report STAN-CS-81-836, June 1981.","DOI":"10.21236\/ADA106750"},{"key":"59_CR2","unstructured":"B.C. Moszkowski, \"Reasoning about Digital Circuit\", Rep. No. STAN-CS-83-970 Dept. of Computer Science, Stanford Univ. July 1983."},{"key":"59_CR3","unstructured":"M. Fujita, H. Tanaka and T. Moto-oka, \"Logic Design Assistance with Temporal Logic\", IFIP 7th Computer Hardware Description Languages and their Applications, August 1985."},{"key":"59_CR4","doi-asserted-by":"crossref","unstructured":"P. Wolper, \"Temporal logic Can Be More Expressive\", 22nd Annual Symposium on Foundation of Computer Science, October 1981.","DOI":"10.1109\/SFCS.1981.44"},{"key":"59_CR5","doi-asserted-by":"crossref","unstructured":"B.C. Moszkowski, \"Executing Temporal Logic Programs\", Rep. No.55 Computer Laboratory, Univ. of Cambridge, 1984.","DOI":"10.1007\/3-540-15670-4_6"},{"key":"59_CR6","doi-asserted-by":"crossref","unstructured":"M. Kituregawa, H. Tanaka and T. Moto-oka, \"Relational Algebra Machine GRACE\", Lecture Notes in computer Science 147, Springer-Verlag, March, 1983.","DOI":"10.1007\/3-540-11980-9_23"},{"key":"59_CR7","doi-asserted-by":"crossref","unstructured":"K. Ueda, \"Guarded Horn Clauses\", TR-103, ICOT, 1985.","DOI":"10.1007\/3-540-16479-0_17"},{"key":"59_CR8","volume-title":"Programming in Prolog","author":"W.F Clockskin","year":"1981","unstructured":"W.F Clockskin and C.S Melish, \"Programming in Prolog\", Springer-Verlag, New York, 1981."},{"key":"59_CR9","unstructured":"S. Kono T. Aoyagi, M. Fujita, H. Tanaka, \"Implementation of temporal logic programming language Tokio\", to be appeared as \"Proceedings of LPC'85\", Lecture Notes in Computer Science Springer-Verlag."},{"key":"59_CR10","unstructured":"M. Fujita, S. Kono, H. Tanaka and T. Moto-oka, \"Assistance in Hierarchical and Structured Logic Design Using Temporal Logic and Prolog\", to be appeared in IEE proceedings-E COMPUTER AND DIGITAL TECHNIQUES."},{"key":"59_CR11","unstructured":"M. Fujita, H. Tanaka and T. Moto-oka, \"Specifying Hardware in Temporal Logic & Efficient Synthesis of State-Diagrams Using Prolog\", Proc. of FGCS '84, Tokyo Japan, November 1984."},{"key":"59_CR12","unstructured":"M. Fujita, \"Logic Design Assistance with Temporal Logic\", Doctoral Dissertation, Information Engineering, University of Tokyo, 1984."},{"key":"59_CR13","unstructured":"F. Pereira, \"C-Prolog Users Manual Version 1.5\", EdCAD, Edingburh Univ. 1984."},{"key":"59_CR14","unstructured":"T. Moto-oka, H. Tanaka, H. Aida, K. Hirata and T. Maruyama, \"The Architecture of a Parallel Inference Engine-PIE-\", Proc. of FGCS '84, Tokyo, Japan, November 1984."},{"key":"59_CR15","unstructured":"I. Futo, J. Szeredi, \"T-PROLOG A VERY HIGH LEVEL SIMULATION SYSTEM GENERAL INFORMATION MANUAL\", 1011 Budapest I. iskcla utca, April 1981."}],"container-title":["Lecture Notes in Computer Science","Third International Conference on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16492-8_119.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T17:44:06Z","timestamp":1687283046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16492-8_119"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164920","9783540398318"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-16492-8_119","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}