{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:22Z","timestamp":1761611242668},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1988,9,1]],"date-time":"1988-09-01T00:00:00Z","timestamp":589075200000},"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":[[1988,9]]},"DOI":"10.1007\/bf03037142","type":"journal-article","created":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T22:58:38Z","timestamp":1240354718000},"page":"279-290","source":"Crossref","is-referenced-by-count":18,"title":["A partial evaluation system for Prolog: some practical considerations"],"prefix":"10.1007","volume":"6","author":[{"given":"Raf","family":"Venken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037142_CR1","unstructured":"Komorowski, H. J., \u201cA specification of an abstract prolog machine and its application to partial evaluation,\u201dLinkoping studies in science and technology dissertations, nr. 69, 1981."},{"key":"BF03037142_CR2","unstructured":"Venken, R., \u201cA Prolog meta-interpreter for partial evaluation and its application to source-to-source transformation and query optimisation,\u201dProceedings of ECAI \u201984, Pisa, North-Holland, 1984."},{"key":"BF03037142_CR3","unstructured":"BIM_Prolog Manual, BIM R & D, Everberg, 1987."},{"key":"BF03037142_CR4","unstructured":"Mulkers, A., \u201cPartial Evaluation of Prolog programs as a tool for program transformation, \u201cDPWB Report, K. U. Leuven, 1986."},{"key":"BF03037142_CR5","unstructured":"O\u2019Keefe, R. A., \u201cOn the treatment of cuts in Prolog source-level tools,\u201dProc. Symp. on Logic Programming, Boston, IEEE, 1985."},{"key":"BF03037142_CR6","unstructured":"Chakravarthy, U. S., Minker, J. and Tran, D., \u201cInterfacing predicate logic languages and relational databases,\u201dProc. of the 1st Int. Logic Progr. Conf., Marseille, 1982."},{"key":"BF03037142_CR7","unstructured":"Venken, R., \u201cQuery Optimisation and Partial Evaluation,\u201dProc. of the Workshop on Coupling Prolog and Databases, Venice, 1986."},{"key":"BF03037142_CR8","doi-asserted-by":"crossref","unstructured":"Henschen, L. J. and Naqvi, S. A., \u201cOn compiling queries in recursive first-order databases,\u201dJournal of the ACM,Vol. 31,No. 1, 1984.","DOI":"10.1145\/2422.2423"},{"key":"BF03037142_CR9","unstructured":"Gallagher, J., \u201cTransforming logic programs by specialising interpreters,\u201dProc. ECAI \u201986, Brighton, 1986."},{"key":"BF03037142_CR10","doi-asserted-by":"crossref","unstructured":"Venken, R., Bruynooghe, M., Krekels, B. and Dekeyser, L., \u201cThe centralised scheduler vs. the distributed specialists: towards a flexible controller in Prolog for expert systems,\u201dProc. Wissensbasierte Systeme, GI-Kongress, Munich, 1985.","DOI":"10.1007\/978-3-642-70840-4_27"},{"key":"BF03037142_CR11","doi-asserted-by":"crossref","unstructured":"Tick, Warren, \u201cTowards a pipelined Prolog,\u201dProc. Int. Conf. Log. Prog., Atlantic City, 1984.","DOI":"10.1007\/BF03037325"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037142.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037142\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:30Z","timestamp":1558558350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,9]]},"references-count":11,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1988,9]]}},"alternative-id":["BF03037142"],"URL":"https:\/\/doi.org\/10.1007\/bf03037142","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,9]]}}}