摘要: In this paper we study the compilation of Prolog by making visible hidden operations (especially unification), and then optimizing them using well-known partial evaluation techniques. Inspection straight forward partially evaluated unification algorithms gives an idea how to design special abstract machine instructions which later form target language our compilation. We handle typical compiler problems like representation terms explicitely. This work a logical reconstruction code, represents approach constructing correct from such code. As example, are explaining principles Warren's New Engine within framework.
springer.com
acm.org 
sci-hub.st 参考文章(12)
Kenneth M Kahn, Mats Carlsson, None, The Compilation of Prolog Programs without the Use of a Prolog Compiler. Future Generation Computer Systems. pp. 348- 355 ,(1984)
Norbert Heck, Jürgen Avenhaus, Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language. Future Generation Computer Systems. pp. 210- 219 ,(1984)
Raf Venken, A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation. european conference on artificial intelligence. pp. 347- 356 ,(1984)
Jieh Hsiang, Mandayam K. Srivas, A PROLOG environment for developing and reasoning about data types formal methods. pp. 276- 293 ,(1985) , 10.1007/3-540-15199-0_18
Neil D. Jones, Peter Sestoft, Harald Søndergaard, An experiment in partial evaluation: The generation of a compiler generator Rewriting Techniques and Applications. pp. 124- 140 ,(1985) , 10.1007/3-540-15976-2_6
C. S. Mellish, William F. Clocksin, Programming in Prolog ,(1981)
Evan Tick, David H. D. Warren, Towards a pipelined Prolog processor New Generation Computing. ,vol. 2, pp. 323- 345 ,(1984) , 10.1007/BF03037325
W. F. Clocksin, Design and simulation of a sequential Prolog machine New Generation Computing. ,vol. 3, pp. 101- 120 ,(1985) , 10.1007/BF03037117
A.P. Ershov, Mixed computation: potential applications and problems for study Theoretical Computer Science. ,vol. 18, pp. 41- 67 ,(1982) , 10.1016/0304-3975(82)90111-6
A.P. Ershov, On the partial computation principle Information Processing Letters. ,vol. 6, pp. 38- 41 ,(1977) , 10.1016/0020-0190(77)90078-3