Design and simulation of a sequential Prolog machine
作者： W. F. Clocksin
DOI: 10.1007/BF03037117
关键词:
摘要: Prolog-X is an implemented portable interactive sequential Prolog system in which clauses are incrementally compiled for a virtual machine called the ZIP Machine. At present, Machine emulated by software, but it has been designed to permit easy implementation microcode or hardware. running on software-based emulator provides performance comparable with existing interpreters. To demonstrate its efficiency, compatibility, and comprehensiveness of implementation, used compile run several large applications programs. Several novel techniques particularly areas representation therecordx database, selection clauses, compilation arithmetic expressions.
springer.com
sci-hub.se 参考文章(8)
E. Shapiro, A subset of Concurrent Prolog and its interpreter Concurrent Prolog. pp. 27- 83 ,(1988)
C. S. Mellish, William F. Clocksin, Programming in Prolog ,(1981)
Minoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa, Shunichi Uchida, The design and implementation of a personal sequential inference machine: PSI New Generation Computing. ,vol. 1, pp. 125- 144 ,(1983) , 10.1007/BF03037420
W. F. Clocksin, Implementation techniques for PROLOG databases Software - Practice and Experience. ,vol. 15, pp. 669- 675 ,(1985) , 10.1002/SPE.4380150705
Chris Mellish, Steve Hardy, Integrating Prolog Into the Poplog Environment. international joint conference on artificial intelligence. pp. 533- 535 ,(1983)
Fernando C. N. Pereira, David H. D. Warren, An efficient easily adaptable system for interpreting natural language queries Computational Linguistics. ,vol. 8, pp. 110- 122 ,(1982) , 10.5555/972942.972944
Chris Mellish, Steve Hardy, Integrating Prolog in the POPLOG Environment. Implementations of Prolog. pp. 147- 162 ,(1984)
W. F. Clocksin, D. L. Bowen, L. M. Byrd, A Portable Prolog Compiler. Logic Programming Workshop. pp. 74- 83 ,(1983)