{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:18Z","timestamp":1725456198156},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012836","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:12:39Z","timestamp":1132726359000},"page":"258-277","source":"Crossref","is-referenced-by-count":2,"title":["Type inference in Prolog"],"prefix":"10.1007","author":[{"given":"H.","family":"Azzoune","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"17_CR1","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"Apt, K.R. and Van Emden M.H., \"Contributions to the Theory of Logic Programming\", Journal of ACM, Vol 29 No 3 pp 841\u2013862 1982.","journal-title":"Journal of ACM"},{"key":"17_CR2","unstructured":"Bruynooghe M., \"Abstract Interpretation: Towards the Global Optimization of Prolog Programs\", Proceedings 1987 Symposium on Logic Programming August 31\u2013September 1987 San Francisco IEEE Society Press pp 192\u2013204."},{"key":"17_CR3","unstructured":"Bruynooghe M., \"Adding redundancy to obtain more reliable and more readable Prolog Programs\", Proc. First Int. Logic Prog. Conf pp 129\u2013133 1982."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Gordon, M.J.C.,Milner,A.J.R.G., Morris,L.,Newey,M.and Wadsworth,C., \"A Metalanguage for interactive proof in LCF\", in Proc. 5\n\n                  th\n                \nACM Symposium Principles of Programming Language, Tucson AZ, 1978.","DOI":"10.1145\/512760.512773"},{"key":"17_CR5","unstructured":"Kanamori T. and Horiuchi K., \"Type Inference in Prolog and its Applications\", ICOT TR 95, December 1984."},{"key":"17_CR6","unstructured":"Kowalski R.A., \"Logic for Problem Solving\", Elsevier Science Publishing, 1979 North Holland."},{"key":"17_CR7","unstructured":"Mellish C.S., \"An Automatic Generation of Mode Declaration for Prolog Programs\", D.A.I. Research Paper No 163, University of Edinburgh 1981."},{"key":"17_CR8","unstructured":"Mishra P., \"Towards a Theory of Types in Prolog\", Proc 1984 Inter. Symp. on Logic Programmig, pp289\u2013298."},{"key":"17_CR9","unstructured":"Mycroft A. and O'Keefe R.A., \"A polymorphic Type System for Prolog\", Logic Programming Workshop 1983."},{"key":"17_CR10","unstructured":"Nilsson J.F., \"On the Compilation of a Domain-Based Prolog\", Information Processing pp 293\u2013298 1983."},{"key":"17_CR11","unstructured":"Pereira L.M., Pereira F.C.N. and Warren D.H.D., \"User's Guide to DEC system-10 Prolog\", Occasional Paper 15, Dept of Artificial Intelligence, Edinburgh 1979."},{"key":"17_CR12","unstructured":"Tamaki H. and Sato T., \"Unfold\/Fold Transformation of Logic Programs\", Second International Logic Programming Conference, Uppsala 1984."},{"issue":"4","key":"17_CR13","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden Van","year":"1976","unstructured":"Van Emden, M.H. and Kowalski, R.A., \"The Semantics of Predicate Logic as Programming\", Journal of ACM Vol 23 No 4, pp733\u2013742 1976.","journal-title":"Journal of ACM"}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0012836.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T15:06:40Z","timestamp":1607353600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012836"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0012836","relation":{},"subject":[]}}