{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:30Z","timestamp":1725456030344},"publisher-location":"Berlin\/Heidelberg","reference-count":22,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540566678"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019001","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:50:41Z","timestamp":1132638641000},"page":"156-165","source":"Crossref","is-referenced-by-count":0,"title":["Forward logic evaluation: Compiling a partially evaluated meta-interpreter into the WAM"],"prefix":"10.1007","author":[{"given":"Knut","family":"Hinkelmann","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","first-page":"441","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"F. Bancilhon","year":"1988","unstructured":"Bancilhon, F. and Ramakrishnan, R. Performance Evaluation of Data Intensive Logic Programs. In Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers, Minker, J., pp. 441\u2013517, Los Altos, CA, 1988."},{"key":"13_CR2","unstructured":"Boley, H. A relational\/functional Language and its Compilation into the WAM. SEKI Report SR-90-05, Universit\u00e4t Kaiserslautern, 1990."},{"key":"13_CR3","volume-title":"Technical Report TR-LP-21-02","author":"D. Chan","year":"1987","unstructured":"Chan, D., Dufresne, P., and Enders, R. Report on PHOCUS. Technical Report TR-LP-21-02, ECRC, Arabellastra\u00dfe, M\u00fcnchen, April, 1987."},{"key":"13_CR4","unstructured":"Cosmadopoulos, Y., Sergot, M., and Southwick,R.W. In PDK'91 \u2014 International Workshop on Processing Declarative Knowledge, 1991."},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Van Emden and Kowalski, R. The Semantics of Predicate Logic as a Programming Language Journal of the ACM, Vol. 23, No. 4, October 1976.","DOI":"10.1145\/321978.321991"},{"key":"13_CR6","first-page":"123","volume-title":"Artificial Intelligence Applications Conference","author":"T. Finin","year":"1989","unstructured":"Finin, T., Fritzson, R., and Matuszek, D. Adding Forward Chaining and Truth Maintenance to Prolog. In Artificial Intelligence Applications Conference, IEEE, Miami, March 1989, pp. 123\u2013130."},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C.L. Forgy","year":"1982","unstructured":"Forgy, C.L. Rete: A Fast Algorithm for the Many Pattern\/Many Object Pattern Match Problem. Artificial Intelligence 19 (1982), pp. 17\u201337.","journal-title":"Artificial Intelligence"},{"key":"13_CR8","first-page":"661","volume":"89","author":"K. Furukawa","year":"1989","unstructured":"Furukawa, K., Fujita, H., and Shintani, T. Deriving an Efficient Production System by Partial Evaluation. In NACLP 89, 1989, pp. 661\u2013671.","journal-title":"NACLP"},{"key":"13_CR9","unstructured":"Raisonment sur les contraintes en programmation Logique, PhD Thesis, University of Nice, 1989."},{"key":"13_CR10","unstructured":"van Harmelen, F. On the Efficiency of Meta-level Inference. PhD Thesis, University of Edinburgh, 1989."},{"key":"13_CR11","unstructured":"Hinkelmann, K. Bidirectional Reasoning of Horn Clause Programs: Transformation and Compilation. Technical Memo TM-91-02, DFKI GmbH, January, 1991."},{"key":"13_CR12","unstructured":"Hinkelmann, K. Forward Logic Evauation: Developing a Compiler from a Partially Evaluatred Meta-Interpreter. Technical Memo TM-91-13, DFKI GmbH, 1991."},{"key":"13_CR13","first-page":"255","volume":"82","author":"H.J. Komorowski","year":"1982","unstructured":"Komorowski, H.J. Partial Evaluation as a means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog. In POPL 82, 1982, pp. 255\u2013267.","journal-title":"POPL"},{"key":"13_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W. Foundations of Logic Programming, Springer-Verlag, Berlin, Heidelberg, New York (1987)."},{"key":"13_CR15","unstructured":"Miranker, D.P. TREAT: A Better Match Algorithm for AI Production Systems. In Proc. of AAAI-87, Philadelphia, PA, 1987, pp. 42\u201347."},{"key":"13_CR16","unstructured":"Morris, P. A Forward Chaining Problem Solver. Logic Programming Newsletter 2(Autumn 1981), pp. 6\u20137."},{"key":"13_CR17","unstructured":"Naqvi, S.A. and Tsur, S. A Logical Language for Data and Knowledge Bases, W.H. Freeman (1989)."},{"key":"13_CR18","unstructured":"Shintani, T. A Fast Prolog-Based Production System KORE\/IE. In Proceedings of the Fifth International Conference and Symposium on Logic Programming, 1988, pp. 26\u201341."},{"key":"13_CR19","unstructured":"Tamaki, H. and Sato, T. Unfold\/Fold Transformations of Logic Programs. In Proceedings of the Second International Conference on Logic Programming, Uppsala, 1984, pp. 127\u2013138."},{"key":"13_CR20","unstructured":"Ullman J. Principles of Database and Knowledge Base Systems, Computer Science Press (1989)."},{"key":"13_CR21","volume-title":"Technical Note 309","author":"D.H.D. Warren","year":"1983","unstructured":"Warren, D.H.D. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, Menlo Park, CA, October, 1983."},{"key":"13_CR22","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF03037384","volume":"4","author":"A. Yamamoto","year":"1986","unstructured":"Yamamoto, A. and Tanaka, H. Translating Production Rules into a Forward Reasoning Prolog Program. New Generation Computing 4(1986), pp. 97\u2013105.","journal-title":"New Generation Computing"}],"container-title":["Lecture Notes in Computer Science","GWAI-92: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019001.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:41:53Z","timestamp":1607550113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019001"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540566678"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0019001","relation":{},"subject":[]}}