{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:32:25Z","timestamp":1742956345271,"version":"3.40.3"},"publisher-location":"London","reference-count":20,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_4","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T11:23:28Z","timestamp":1387452208000},"page":"51-65","source":"Crossref","is-referenced-by-count":0,"title":["Enriching Prolog with S-Unification"],"prefix":"10.1007","author":[{"given":"Andreas","family":"K\u00e5gedal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feliks","family":"Klu\u017aniak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"H. A\u00eft-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, Equations and Functions. In Proc. Symposium on Logic Programming [IEE87]."},{"key":"4_CR2","unstructured":"R. Barbuti, M. Bellia, G. Levi, and M. Martelli. LEAF: a Language which integrates Logic, Equations and Functions. In DeGroot and Lindstrom [DL86]."},{"key":"4_CR3","volume-title":"Logic Programming","author":"S Bonnier","year":"1988","unstructured":"S. Bonnier and J. Ma\u0142uszy\u0144ski. Towards a Clean Amalgamation of Logic Programs with External Procedures. In Robert A. Kowalski and Kenneth A. Bowen, editors, Logic Programming, Proc. of the fifth International Conference and Symposium, Seatle, 1988. ALP, IEEE, MIT Press."},{"key":"4_CR4","volume-title":"Horn Clause Logic with External Procedures: Towards a Theoretical Framework. Licentiate thesis, Link\u00f6ping University, Dep. of Computer and Information Science, S-581","author":"S Bonnier","year":"1989","unstructured":"Staffan Bonnier. Horn Clause Logic with External Procedures: Towards a Theoretical Framework. Licentiate thesis, Link\u00f6ping University, Dep. of Computer and Information Science, S-581 83 Link\u00f6ping, Sweden, 1989."},{"key":"4_CR5","unstructured":"Staffan Bonnier, 1991. Personal communication."},{"key":"4_CR6","unstructured":"Johan Boye. Operational completeness of logic programs with external procedures. Master\u2019s thesis, Link\u00f6ping University, Dep. of Computer and Information Science, S-581 83 Link\u00f6ping, Sweden, 1991. Report no: LiTH-IDA-Ex-9104."},{"key":"4_CR7","first-page":"40","volume-title":"Logic Programming","author":"M Carlsson","year":"1987","unstructured":"Mats Carlsson. Freeze, indexing, and other implementation issues in the WAM. In Jean-Louis Lassez, editor, Logic Programming, Proc. of the Fourth International Conference, pages 40\u201358, Melbourne, 1987. MIT Press."},{"key":"4_CR8","unstructured":"S. Cohen. The APPLOG Language. In DeGroot and Lindstrom [DL86]."},{"key":"4_CR9","unstructured":"Alain Colmerauer. Prolog II - manuel de r\u00e9f\u00e9rence et mod\u00e8le th\u00e9oretique. Technical report, Groupe d\u2019Intelligence Artificielle, Universit\u00e9 d\u2019Aix-Marseille I I, 1982."},{"key":"4_CR10","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language chip. In Proc. of the International Conference on Fifth Generation Computer Systems,pages 693\u2013702, Tokyo, 1988. Institute for New Generation Computer Technology, Ohmsha, Ltd."},{"key":"4_CR11","volume-title":"Prentice-hall","author":"D Degroot","year":"1986","unstructured":"D. DeGroot and G. Lindstrom, editors. Logic programming, functions, relations and equations. Prentice-Hall, 1986."},{"key":"4_CR12","unstructured":"J. Goguen and J. Meseguer. EQLOG: Equality, Types and Generic Modules for Logic Programming. In DeGroot and Lindstrom [DL86]."},{"key":"4_CR13","volume-title":"Mit Press","author":"PV Hentenryck","year":"1989","unstructured":"P. V. Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989."},{"key":"4_CR14","unstructured":"IEEE. Proc. Symposium on Logic Programming, San Francisco, 1987. Computer Society Press."},{"key":"4_CR15","volume-title":"14th ACM POPL Con f. ACM","author":"J Jaffar","year":"1987","unstructured":"J. Jaffar and J.L. Lassez. Constraint Logic Programming. In 14th ACM POPL Con f. ACM, 1987."},{"key":"4_CR16","volume-title":"K.l. Clark and S.-A. T\u00e4rnlund, editors, Logic Programming. Prentice-Hall","author":"J Komorowski","year":"1982","unstructured":"J. Komorowski. QLOG - The Programming Environment for Prolog in LISP. In K.L. Clark and S.-A. T\u00e4rnlund, editors, Logic Programming. Prentice-Hall, 1982."},{"key":"4_CR17","volume-title":"J. Campbell, editor, Implementations of Prolog. Ellis Horwood","author":"C Mellish","year":"1984","unstructured":"C. Mellish and S. Hardy. Integrating Prolog in the Poplog Environment. In J. Campbell, editor, Implementations of Prolog. Ellis Horwood, 1984."},{"key":"4_CR18","volume-title":"K. Clark and S.-A. T\u00e4rnlund, editors, Logic Programming. Prentice-Hall","author":"J Robinson","year":"1982","unstructured":"J. Robinson and E. Sibert. LOGLISP: Motivation, Design and Implementation. In K. Clark and S.-\u00c5. T\u00e4rnlund, editors, Logic Programming. Prentice-Hall, 1982."},{"key":"4_CR19","unstructured":"D.W. Shin, J.H. Nang, S. Han, and S.R. Maeng. A Functional Logic Language based on Canonical Unification. In Proc. Symposium on Logic Programming [IEE87], pages 328\u2013333."},{"key":"4_CR20","unstructured":"P. Subrahmanyam and J-H. You. Funlog: A computational model integrating logic programming and functional programming. In De-Groot and Lindstrom [DL86]."}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T21:17:43Z","timestamp":1676841463000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_4","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}