{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:18Z","timestamp":1725663018581},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_85","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:47:46Z","timestamp":1330177666000},"page":"327-334","source":"Crossref","is-referenced-by-count":2,"title":["On the semantics of logic programming languages"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Martelli","sequence":"first","affiliation":[]},{"given":"Gianfranco","family":"Rossi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"van Emden M.H. and Kowalski R.A., The Semantics of Predicate Logic as a Programming Language, Journal of the ACM 23(4), 1976.","DOI":"10.1145\/321978.321991"},{"key":"25_CR2","unstructured":"van Emden, M.H., An Interpreting Algorithm for Prolog Programs, in Proc. 1st Int. Logic Programming Conf., Marseille, 1982."},{"key":"25_CR3","unstructured":"Jones N.D. and Mycroft A., Stepwise Development of Operational and Denotational Semantics for Prolog, in Proc. 1984 Int. Symp. on Logic Programming, Atlantic City, N.J., 1984."},{"key":"25_CR4","unstructured":"Fuchi K., Logical Derivation of a Prolog Interpreter, in Proc.of the Int. Conf. on 5th. Generation Computer Systems 1984, Tokyo, Japan, Nov. 6\u20139, 1984."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Carlsson, M. On Implementing Prolog in Functional Programming, in Proc. 1984 Int. Symp. on Logic Programming, Atlantic City, N.J., 1984.","DOI":"10.1007\/BF03037326"},{"key":"25_CR6","unstructured":"Bruynooghe, M. The memory management of PROLOG implementations; in Logic Programming (K.L. Clark and S-A. Tarnlund eds.), Academic Press, 1982, 83\u201398."},{"key":"25_CR7","unstructured":"Mellish, C.S. An Alternative to Structure Sharing in the Implementation of a Prolog Interpreter; in Logic Programming (K.L. Clark S-A. Tarnlund eds.), Academic Press, 1982, 99\u2013106."},{"key":"25_CR8","unstructured":"Warren, D.H.D., Implementing Prolog \u2014 compiling predicate logic programs, DAI research report 39\u201340, Dept. of A.I., Edinburgh Univ., 1977."},{"key":"25_CR9","unstructured":"Colmerauer, A. Prolog and Infinite Trees; Logic Programming (K.L. Clark and S-A. Tarnlund eds.), Academic Press, 1982."},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Apt,K.R. and van Emden, M.H. Contributions to the theory of logic programming, Journal of the ACM 29(3), 1982.","DOI":"10.1145\/322326.322339"},{"key":"25_CR11","unstructured":"Martelli, A. and Rossi, G., Efficient Unification with Infinite Terms in logic Programming, in Proc.of the Int. Conf. on 5th. Generation Computer Systems 1984, Tokyo, Japan, Nov. 6\u20139, 1984."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Martelli, A. and Montanari, U., An Efficient Unification Algorithm, ACM TOPLAS, 4, 2 (April 1982).","DOI":"10.1145\/357162.357169"},{"key":"25_CR13","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/BF03037077","volume":"3","author":"K.A. Bowen","year":"1985","unstructured":"Bowen, K.A., Meta-Level Programming and Knowledge Representation, New Generation Computing, 3 (1985), pp. 359\u2013383.","journal-title":"New Generation Computing"}],"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_85.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:04:57Z","timestamp":1619543097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16492-8_85"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164920","9783540398318"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-16492-8_85","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}