{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:04Z","timestamp":1725663604390},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544159"},{"type":"electronic","value":"9783540476177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54415-1_52","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:46:11Z","timestamp":1330209971000},"page":"311-325","source":"Crossref","is-referenced-by-count":0,"title":["Role of logic programming in the FGCS project"],"prefix":"10.1007","author":[{"given":"Kazuhiro","family":"Fuchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koichi","family":"Furukawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"15_CR1","unstructured":"T. Chikayama and Y. Kimura, Multiple Reference Management in Flat GHC. In Proc. of the Fourth International Conference on Logic Programming, MIT Press, 1987."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"T. CHikayama, H. Sato and T. Miyazaki, Overview of the Parallel Inference Machine Operating System(PIMOS). In Proc. of the International Conf. on Fifth Generation Computing Systems 1988, Tokyo, 1988.","DOI":"10.1007\/978-1-4471-3156-4_25"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"K. L. Clark and S. Gregory, A Relational Language for Parallel Programming. In Proc. ACM Conf. on Functional Programming Languages and Computer Architecture, ACM, 1981.","DOI":"10.1145\/800223.806776"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"K. L. Clark and S. Gregory, PARLOG: Parallel Programming in Logic. Research Report DOC 84\/4, Dept. of Computing, Imperial College of Science and Technology, London. Also in ACM. Trans. Prog. Lang. Syst., Vol. 8, No. 1, 1986.","DOI":"10.1145\/5001.5390"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Fuchi, K. and Furukawa, K. \u201dThe Role of Logic Programming in the Fifth Generation Computer Project,\u201d New Generation Computing, Vol. 5, No. 1, Ohmsha-springer, 1987.","DOI":"10.1007\/BF03037455"},{"key":"15_CR6","volume-title":"Proc. of KL1 Programming Workshop '90","author":"K. Fuchi","year":"1990","unstructured":"K. Fuchi, Impression of KL1 Programming \u2014 from my experience with writing parallel provers \u2014. In Proc. of KL1 Programming Workshop '90, Institute for New Generation Computer Technology, Tokyo, 1990 (in Japanese)."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"H. Fujita and K. Furukawa, A Self-Applicable Partial Evaluator and Its Use in Incremental Compilation. New Generation Computing, Vol. 6, Nos.2,3, Ohmsha\/Springer-Verlag, 1988.","DOI":"10.1007\/BF03037133"},{"key":"15_CR8","unstructured":"H. Fujita and R. Hasegawa, A Model Generation Theorem Prover in KL1 Using a Ramified-Stack Algorithm. In Proc. of the Eighth International Conference on Logic Programming, Paris, 1991."},{"key":"15_CR9","unstructured":"Futamura, Y. (1971) Partial Evaluation of Computation Process: An Approach to a Compiler-Compiler. Systems, Computers, Controls 2."},{"key":"15_CR10","series-title":"Technical Report","volume-title":"Research and Development of the Parallel Inference Machine in the FGCS Project","author":"A. Goto","year":"1989","unstructured":"A. Goto, Research and Development of the Parallel Inference Machine in the FGCS Project. Technical Report TR-437, Institute for New Generation Computer Technology, Tokyo, 1989."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J-L. Lassez, Constraint Logic Programming. Technical Report, Department of Computer Science, Monash University, 1986.","DOI":"10.1145\/41625.41635"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"H. J. Komorowski, Partial Evaluation as a Means for Inferencing Data Structure in an Applicative Language: A Theory and Implementation in the Case of Prolog. Ninth ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, 1982.","DOI":"10.1145\/582153.582181"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"R. Manthey and F. Bry, SATCHMO: A Theorem Prover Implemented in Prolog. In Proc. of CADE-88, Argonne, Illinois, 1988.","DOI":"10.1007\/BFb0012847"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"J. A. Robinson, A Machine-Oriented Logic Based on Resolution Principle. J. ACM 12, 1965.","DOI":"10.1145\/321250.321253"},{"issue":"6","key":"15_CR15","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1016\/S0747-7171(89)80063-X","volume":"8","author":"K. Sakai","year":"1989","unstructured":"Sakai, K. and Aiba, A. \u201dCAL: A Theoretical Background of Constraint Logic Programming and its Applications,\u201d J. Symbolic Computation, Vol.8, No.6, pp.589\u2013603, 1989.","journal-title":"J. Symbolic Computation"},{"key":"15_CR16","series-title":"Tech. Memo TM","volume-title":"An Application of CAL to Robotics","author":"S. Sato","year":"1991","unstructured":"S. Sato and A. Aiba, An Application of CAL to Robotics. Tech. Memo TM 1032, Institute for New Generation Computer Technology, Tokyo, 1991."},{"key":"15_CR17","unstructured":"H. Seki and K. Furukawa, Notes on Transformation techniques for Generate and Test Logic Programs. In Proc. 1987 Symposium on Logic Programming, IEEE Computer Society Press, 1987."},{"key":"15_CR18","series-title":"Tech. Report","volume-title":"A Subset of Concurrent Prolog and Its Interpreter","author":"E. Y. Shapiro","year":"1983","unstructured":"E. Y. Shapiro, A Subset of Concurrent Prolog and Its Interpreter. Tech. Report TR-003, Institute for New Generation Computer Technology, Tokyo, 1983."},{"key":"15_CR19","unstructured":"A. Takeuchi and K. Furukawa, Partial Evaluation of Prolog Programs and Its Application to Meta Programming. In Proc. IFIP'86, North-Holland, 1986."},{"key":"15_CR20","unstructured":"K. Taki, The Parallel Software Research and Development Tool: Multi-PSI system. In Programming of Future Generation Computers, K. Fuchi and M. Nivat, eds, North-Holland, 1988."},{"key":"15_CR21","unstructured":"K. Taki, The FGCS Computing Architecture. In Proc. IFIP'89, North-Holland, 1989."},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"K. Ueda, Guarded Horn Clauses. In Logic Programming '85, E. Wada, ed, Lecture Notes in Computer Science, 221, Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16479-0_17"},{"issue":"6","key":"15_CR23","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1093\/comjnl\/33.6.494","volume":"33","author":"K. Ueda","year":"1990","unstructured":"Ueda, K. and Chikayama, T. \u201dDesign of the Kernel Language for the Parallel Inference Machine,\u201d The Computer Journal, Vol. 33, No. 6 (Dec., 1990), pp. 494\u2013500.","journal-title":"The Computer Journal"},{"key":"15_CR24","unstructured":"D. H. D. Warren, An Abstract Prolog Instruction Set. Technical Note 304, Artificial Intelligence Center, SRI, 1983."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54415-1_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:46:35Z","timestamp":1640922395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54415-1_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544159","9783540476177"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-54415-1_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}