{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:09Z","timestamp":1725456009167},"publisher-location":"Berlin\/Heidelberg","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354053010X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024177","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T09:49:34Z","timestamp":1132393774000},"page":"75-88","source":"Crossref","is-referenced-by-count":2,"title":["A constraint logic programming shell"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Lim","sequence":"first","affiliation":[]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"H. Beringer and F. Porcher, \u201cA Relevant Scheme for Prolog Extensions: CLP(Conceptual Theory)\u201d, Procs. ICLP 89, Lisbon, June 1989, pp. 131\u2013148."},{"key":"6_CR2","volume-title":"Maple User's Guide","author":"B. Char","year":"1985","unstructured":"B. Char, K. Geddes, G. Gonnet, S. Watt, Maple User's Guide, WATCOM Publications, 1985, Waterloo, Ontario."},{"key":"6_CR3","unstructured":"A. Colmerauer, \u201cPROLOG II \u2014 Reference Manual and Theoretical Model\u201d, Internal Report, Groupe Intelligence Artificielle, Universit\u00e9 Aix-Marseille II (1982)."},{"key":"6_CR4","unstructured":"A. Colmerauer, \u201cFinal Specifications for PROLOG-III\u201d, Manuscript: ESPRIT Reference Number P1219(1106), February 1988. (See also \u201cOpening the PROLOG-III Universe\u201d, BYTE Magazine, August 1987.)"},{"issue":"2","key":"6_CR5","first-page":"49","volume":"21","author":"J. Crossley","year":"1989","unstructured":"J. Crossley, P. Lim, P. Stuckey, \u201cInterface Logic Programming\u201d, Australian Computer Journal, 21(2) May 1989, pp 49\u201355.","journal-title":"Australian Computer Journal"},{"key":"6_CR6","unstructured":"A. Hearn, \u201cThe REDUCE User's Manual \u2014 Version 3.3\u201d, Rand Publications, CP78, July 1987."},{"key":"6_CR7","unstructured":"M. Dincbas, P. van Hentenryck, H. Simonis, A. Aggoun, T. Graf, F. Berthier, \u201cThe Constraint Logic Programming Language CHIP\u201d, Procs. FGCS 88, Tokyo, 1988."},{"key":"6_CR8","unstructured":"N. Heintze, S. Michaylov, P. Stuckey, \u201cCLP(\u211b) and some Electrical Engineering problems\u201d, Procs. ICLP 87, Melbourne, May 1987, pp. 675\u2013703."},{"key":"6_CR9","unstructured":"P. van Hentenryck and M. Dincbas, \u201cForward Checking in Logic Programming\u201d, Procs. ICLP 87, Melbourne, May 1987, pp. 229\u2013256."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"T. Hickey, \u201cCLP* and Constraint Abstraction\u201d, Procs. LICS 89, Chicago, June 1989.","DOI":"10.1145\/75277.75288"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"J. Jaffar, S. Michaylov, P. Stuckey, R. Yap, \u201cThe CLP(\u211b) Language and System\u201d IBM Technical Report, to appear.","DOI":"10.1145\/129393.129398"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"J. Jaffar, J-L. Lassez, \u201cConstraint Logic Programming\u201d, Procs. POPL 87, Munich, January 1987.","DOI":"10.1145\/41625.41635"},{"key":"6_CR13","volume-title":"Logic Programming","author":"C.S. Mellish","year":"1982","unstructured":"C.S. Mellish, \u201cAn Alternative to Structure Sharing in the implementation of a PROLOG interpreter\u201d, in Logic Programming, K.L. Clark and S-A T\u00e4rnlund (eds), Academic Press, 1982, London."},{"key":"6_CR14","unstructured":"S. Morishita, M. Numao, S. Hirose, \u201cSymbolical construction of truth value domain for logic program\u201d, Procs. ICLP 87, Melbourne, May 87, pp. 533\u2013555."},{"key":"6_CR15","unstructured":"G. Nelson, \u201cTechniques for Program Verification\u201d, Xerox Palo Alto Research Center CSL-81-10 (1981)."},{"issue":"2","key":"6_CR16","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1145\/357073.357079","volume":"1","author":"G. Nelson","year":"1980","unstructured":"G. Nelson, D. Oppen, \u201cSimplification by cooperating decision procedures\u201d, TOPLAS1(2), April 1980, pp. 245\u2013257.","journal-title":"TOPLAS"},{"key":"6_CR17","unstructured":"K. Sakai, A. Aiba, \u201cIntroduction to CAL\u201d, ICOT Technical Report, December 1987."},{"key":"6_CR18","unstructured":"C. Walinsky, \u201cCLP(\u03a3*): Constraint Logic Programming with Regular Sets\u201d, Procs. ICLP 89, Lisbon, June 1989, pp. 181\u2013198."},{"key":"6_CR19","volume-title":"An Abstract Prolog Instruction Set","author":"D.H.D. Warren","year":"1983","unstructured":"D.H.D. Warren, \u201cAn Abstract Prolog Instruction Set\u201d, Technical Note 309, Artificial Intelligence Center, SRI International, Menlo Park, California, October 1983."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024177.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:52:12Z","timestamp":1607550732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024177"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354053010X"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0024177","relation":{},"subject":[]}}