{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T09:02:54Z","timestamp":1649149374770},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1986,6,1]],"date-time":"1986-06-01T00:00:00Z","timestamp":517968000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1986,6]]},"DOI":"10.1007\/bf03037441","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T02:41:40Z","timestamp":1240540900000},"page":"189-209","source":"Crossref","is-referenced-by-count":5,"title":["Specification and initialization of a logic computer system"],"prefix":"10.1007","volume":"4","author":[{"given":"Anthony J.","family":"Kusalik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037441_CR1","first-page":"153","volume-title":"Logic Programming","author":"K. A. Bowen","year":"1982","unstructured":"Bowen, K. A. and Kowalski, R. A., \u201cAmalgamating Language and Metalanguage in Logic Programming,\u201d inLogic Programming (K. L. Clark and S.-\u00c5. T\u00e4rnlund, eds.), Academic Press, London, pp. 153\u2013172, 1982."},{"issue":"No. 1","key":"BF03037441_CR2","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/BF03037019","volume":"1","author":"T. Chikayama","year":"1983","unstructured":"Chikayama, T., \u201cESP \u2014 Extended Self-contained Prolog \u2014 as a Preliminary Kernel Language of Fifth Generation Computers,\u201dNew Generation Computing, Vol. 1, No. 1, pp. 11\u201324, 1983.","journal-title":"New Generation Computing"},{"key":"BF03037441_CR3","doi-asserted-by":"crossref","unstructured":"Clark, K. L. and Gregory, S., \u201cA Relational Language for Parallel Programming,\u201dProceedings of the ACM Conference on Functional Programming Languages and Computer Architectures, ACM, pp. 171\u2013178, October, 1981.","DOI":"10.1145\/800223.806776"},{"key":"BF03037441_CR4","series-title":"Research Rep. DOC 84\/4","volume-title":"PARLOG: Parallel Programming in Logic","author":"K. L. Clark","year":"1984","unstructured":"Clark, K. L. and Gregory, S., \u201cPARLOG: Parallel Programming in Logic,\u201dResearch Rep. DOC 84\/4, Department of Computing, Imperial College, London, April, 1984."},{"key":"BF03037441_CR5","series-title":"Research Rep. DOC 84\/15","volume-title":"Notes on Systems Programming in PARLOG","author":"K. L. Clark","year":"1984","unstructured":"Clark, K. L. and Gregory, S., \u201cNotes on Systems Programming in PARLOG,\u201dResearch Rep. DOC 84\/15, Department of Computing, Imperial College, London, July, 1984."},{"key":"BF03037441_CR6","doi-asserted-by":"crossref","unstructured":"Clark, K. L. and Gregory, S., \u201cPARLOG: Parallel Programming in Logic,\u201dACM Transactions on Programming Languages and Systems,Vol. 8,No. 1, January, 1986.","DOI":"10.1145\/5001.5390"},{"key":"BF03037441_CR7","doi-asserted-by":"crossref","unstructured":"Conery, J. S. and Kibler, D. F., \u201cParallel Interpretation of Logic Programs,\u201dProceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, ACM, Portsmouth, New Hampshire, pp. 163\u2013170, October, 1981.","DOI":"10.1145\/800223.806775"},{"key":"BF03037441_CR8","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"Dijkstra, E. W.,A Discipline of Programming, Prentice-Hall, Englewood Cliffs, New Jersey, 1976."},{"key":"BF03037441_CR9","doi-asserted-by":"crossref","unstructured":"Fleisch, B. D., \u201cOperating Systems: A Perspective On Future Trends,\u201dOperating System Review,Vol. 17,No. 2, 1983.","DOI":"10.1145\/1041478.1041480"},{"key":"BF03037441_CR10","unstructured":"Furukawa, K., Takeuchi, A. and Kunifuji, S., \u201cMandala: A Concurrent Prolog Based Knowledge Programming Language\/System,\u201dICOT Technical Report, TR-029, Tokyo, November, 1983."},{"issue":"No. 1","key":"BF03037441_CR11","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BF03037024","volume":"1","author":"T. Hattori","year":"1983","unstructured":"Hattori, T. and Yokoi, T., \u201cBasic Concepts of the SIM Operating System,\u201dNew Generation Computing, Vol. 1, No. 1, pp. 81\u201385, 1983.","journal-title":"New Generation Computing"},{"key":"BF03037441_CR12","unstructured":"Hellerstein, L. and Shapiro, E. Y., \u201cImplementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience,\u201d1984 International Symposium on Logic Programming, IEEE, Atlantic City, NJ, pp. 99\u2013115, February, 1984."},{"key":"BF03037441_CR13","unstructured":"Hirakawa, H., Chikayama, T. and Furukawa, K., \u201cEager and Lazy Enumerations in Concurrent Prolog,\u201dProceedings of the Second International Logic Programming Conference, Uppsala, Sweden, pp. 89\u2013100, July, 1984."},{"key":"BF03037441_CR14","unstructured":"Hirakawa, H., \u201cChart Parsing in Concurrent Prolog,\u201dICOT Technical Report, TR-008, Tokyo, May, 1983."},{"key":"BF03037441_CR15","first-page":"213","volume-title":"Logic Programming","author":"K. M. Kahn","year":"1982","unstructured":"Kahn, K. M., \u201cIntermission-Actors in Prolog,\u201d inLogic Programming (K. L. Clark and S.-\u00c5. T\u00e4rnlund), Academic Press, London, pp. 213\u2013228, 1982."},{"issue":"No. 2","key":"BF03037441_CR16","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF03037100","volume":"2","author":"A. J. Kusalik","year":"1984","unstructured":"Kusalik, A. J., \u201cBounded-Wait Merge in Shapiro\u2019s Concurrent Prolog,\u201dNew Generation Computing, Vol. 2 No. 2, pp. 157\u2013169, 1984.","journal-title":"New Generation Computing"},{"key":"BF03037441_CR17","series-title":"Technical Report, 84-21","volume-title":"The File System of a Logic Operating System","author":"A. J. Kusalik","year":"1984","unstructured":"Kusalik, A. J., \u201cThe File System of a Logic Operating System,\u201dTechnical Report, 84-21, Computer Science Department, University of British Columbia, Vancouver, B. C., Canada, November, 1984."},{"key":"BF03037441_CR18","unstructured":"Lee, R. K. S. and Goebel, R., \u201cConcurrent Prolog in a Multi-process Environment,\u201d1985 International Symposium on Logic Programming, IEEE, Boston, Massachusetts, pp. 100\u2013109, July, 1985."},{"key":"BF03037441_CR19","unstructured":"Miyazaki, T., Takeuchi, A. and Chikayama, T., \u201cA Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme,\u201d1985 International Symposium on Logic Programming, IEEE, Boston, Massachusetts, pp. 110\u2013118, July, 1985."},{"key":"BF03037441_CR20","unstructured":"Roussel, P., \u201cProlog: Manuel de Reference et d\u2019Utilisation,\u201dTechnical Report, Groupe d\u2019Intelligence Artificielle, Universit\u00e9 d\u2019Aix Mareille, 1975."},{"key":"BF03037441_CR21","volume-title":"Concurrent Logic Programming Languages","author":"V. A. Saraswat","year":"1985","unstructured":"Saraswat, V. A., \u201cConcurrent Logic Programming Languages,\u201dThesis Proposal, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsylvania, November, 1985."},{"key":"BF03037441_CR22","unstructured":"Shapiro, E. Y., \u201cA Subset of Concurrent Prolog and Its Interpreter,\u201dICOT Technical Report, TR-003, Tokyo, January, 1983. Also available asCS83-06, Department of Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel."},{"key":"BF03037441_CR23","unstructured":"Shapiro, E. Y., \u201c(Lecture Notes on) The Bagel: a Systolic Concurrent Prolog Machine,\u201dICOT Technical Memorandum, TM-0031, Tokyo, November, 1983."},{"key":"BF03037441_CR24","doi-asserted-by":"crossref","unstructured":"Shapiro, E. Y., \u201cSystems Programming in Concurrent Prolog,\u201dConference Record of the 11th Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, pp. 93\u2013105, January, 1984.","DOI":"10.1145\/800017.800520"},{"key":"BF03037441_CR25","volume-title":"On Evaluating General-Purpose Programming Languages","author":"E. Y. Shapiro","year":"1986","unstructured":"Shapiro, E. Y., \u201cOn Evaluating General-Purpose Programming Languages,\u201dCS86-01, Department of Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel, January, 1986."},{"key":"BF03037441_CR26","unstructured":"Shapiro, E. Y.,Private communication, 1986."},{"key":"BF03037441_CR27","doi-asserted-by":"crossref","unstructured":"Shapiro, E. Y. and Mierowsky, C., \u201cFair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog,\u201d1984 International Symposium on Logic Programming, IEEE, Atlantic City, NJ, pp. 83\u201390, February, 1984.","DOI":"10.1007\/BF03037058"},{"key":"BF03037441_CR28","volume-title":"Fast Multiway Merge Using Destructive Operations","author":"E. Y. Shapiro","year":"1985","unstructured":"Shapiro, E. Y. and Safra, M., \u201cFast Multiway Merge Using Destructive Operations,\u201dCS85-01, Department of Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel, January, 1985."},{"key":"BF03037441_CR29","volume-title":"Distributed Programming in Concurrent Prolog","author":"A. Shafrir","year":"1983","unstructured":"Shafrir, A. and Shapiro, E. Y., \u201cDistributed Programming in Concurrent Prolog,\u201dCS83-12, Department of Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel, August, 1983."},{"issue":"No. 1","key":"BF03037441_CR30","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF03037020","volume":"1","author":"E. Y. Shapiro","year":"1983","unstructured":"Shapiro, E. Y. and Takeuchi, A., \u201cObject Oriented Programming in Concurrent Prolog,\u201dNew Generation Computing, Vol. 1, No. 1, pp. 25\u201348, 1983.","journal-title":"New Generation Computing"},{"key":"BF03037441_CR31","first-page":"188","volume-title":"Logic Programming and Its Applications","author":"N. Suzuki","year":"1986","unstructured":"Suzuki, N., \u201cExperience with Specification and Verification of Complex Computer Using Concurrent Prolog,\u201d inLogic Programming and Its Applications (M. van Caneghem and D. H. D. Warren), Ablex Publishing, Norwood, New Jersey, pp. 188\u2013207, 1986."},{"key":"BF03037441_CR32","unstructured":"Takeuchi, A. and Furukawa, K., \u201cInterprocess Communication in Concurrent Prolog,\u201dProceedings Logic Programming Workshop \u201983, Algarve, Portugal, pp. 171\u2013185, 1983. Also asICOT Technical Report, TR-006, 1983."},{"key":"BF03037441_CR33","unstructured":"Takagi, S., Yokoi, T., Uchida, S., Kurokawa, T., Hattori, T., Chikayama, T., Sakai, K. and Tsuji, J., \u201cOverall Design of SIMPOS,\u201dProceedings of the Second International Logic Programming Conference, Uppsala, Sweden, pp. 1\u201312, July, 1984."},{"key":"BF03037441_CR34","unstructured":"Ueda, K. and Chikayama, T., \u201cEfficient Stream\/Array Processing in Logic Programming Languages,\u201dProceedings of the International Conference on Fifth Generation Computer Systems 1984 (ICOT, ed.), pp. 317\u2013326, November, 1984."},{"key":"BF03037441_CR35","unstructured":"Ueda, K. and Chikayama, T., \u201cConcurrent Prolog Compiler on Top of Prolog,\u201d1985 International Symposium on Logic Programming, IEEE, Boston, Massachusetts, pp. 119\u2013126, July, 1985."},{"key":"BF03037441_CR36","unstructured":"Ueda, K., \u201cGuarded Horn Clauses,\u201dICOT Technical Report, TR-103, Tokyo, June, 1985 (Revised September, 1985)."},{"key":"BF03037441_CR37","unstructured":"Ueda, K., \u201cConcurrent Prolog Re-examined,\u201dICOT Technical Report, TR-102, Tokyo, November, 1985."},{"issue":"No. 2","key":"BF03037441_CR38","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF03037425","volume":"1","author":"T. Uehara","year":"1983","unstructured":"Uehara, T. and Kawato, N., \u201cLogic Circuit Synthesis using Prolog,\u201dNew Generation Computing, Vol. 1, No. 2, pp. 187\u2013193, 1983.","journal-title":"New Generation Computing"},{"issue":"No. 1","key":"BF03037441_CR39","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF03037023","volume":"1","author":"S. Uchida","year":"1983","unstructured":"Uchida, S., Yokota, M., Yamamoto, A., Taki, K. and Nishikawa, H., \u201cOutline of the Personal Sequential Inference Machine: PSI,\u201dNew Generation Computing, Vol. 1, No. 1, pp. 75\u201379, 1983.","journal-title":"New Generation Computing"},{"key":"BF03037441_CR40","series-title":"Technical Reports","volume-title":"Implementing Prolog \u2014 Compiling Predicate Logic Programs","author":"D. H. D. Warren","year":"1977","unstructured":"Warren, D. H. D., \u201cImplementing Prolog \u2014 Compiling Predicate Logic Programs,\u201dTechnical Reports, 39 and 40, Department of Artificial Intelligence, University of Edinburgh, Edinburgh, May, 1977."},{"key":"BF03037441_CR41","unstructured":"Warren, D. H. D., \u201cPerpetual Processes \u2014 An Unexploited Prolog Technique,\u201dProceedings of the Prolog Programming Environments Workshop, Link\u00f6ping University, Sweden, March, 1982."},{"issue":"No. 2","key":"BF03037441_CR42","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF03037420","volume":"1","author":"M. Yokota","year":"1983","unstructured":"Yokota, M., Yamamoto, A., Taki, K., Nishikawa, H. and Uchida, S., \u201cThe Design and Implementation of a Personal Inference Machine: PSI,\u201dNew Generation Computing, Vol. 1, No. 2, pp. 125\u2013144, 1983.","journal-title":"New Generation Computing"},{"key":"BF03037441_CR43","unstructured":"Zaniolo, C., \u201cObject-Oriented Programming in Prolog,\u201d1984 International Symposium on Logic Programming, IEEE, Atlantic City, New Jersey, pp. 265\u2013270, February, 1984."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037441.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037441\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037441","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:37Z","timestamp":1558572757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037441"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,6]]},"references-count":43,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1986,6]]}},"alternative-id":["BF03037441"],"URL":"https:\/\/doi.org\/10.1007\/bf03037441","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,6]]}}}