Abstract
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, the ZIP Machine is emulated by software, but it has been designed to permit easy implementation in microcode or hardware. Prolog-X running on the software-based emulator provides performance comparable with existing Prolog interpreters. To demonstrate its efficiency, compatibility, and comprehensiveness of implementation, Prolog-X has been used to compile and run several large applications programs. Several novel techniques are used in the implementation, particularly in the areas of the representation of therecordx database, the selection of clauses, and the compilation of arithmetic expressions.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Bowen, D. L., Byrd, L. M., and Clocksin, W. F., “A portable Prolog compiler,”Proceedings of the Logic Programming Workshop, Albufeira, Portugal, 1983.
Clocksin, W. F., “Implementation techniques for Prolog databases,” Computer Laboratory, University of Cambridge, to appear inSoftware—Practice and Experience, 1984.
Clocksin, W. F., and Mellish, C. S.,Programming in Prolog, Springer-Verlag, 1981.
Kahn, K., “Unique Features of LISP Machine Prolog,”UPMAIL Report 14, University of Uppsala, Sweden, 1983.
Mellish, C. S., and Hardy, S., “Integrating Prolog in the Poplog Environment,”Cognitive Science Research Paper 10, University of Sussex, 1982.
Shapiro, E. Y., “A subset of Concurrent Prolog and its interpreter,”ICOT Technical Report TR-003, Institute for New Generation Computer Technology, Tokyo, 1982.
Sterling, L., Bundy, A., Byrd, L., O’Keefe, R., and Silver, B., “Symbolic reasoning with PRESS,” inComputer Algebra (J. Calmet, ed.),Lecture Notes in Computer Science 144, Springer-Verlag, 1982.
Warren, D. H. D., “Implementing Prolog—compiling logic programs,”Research Reports 39, 40, Department of Artificial Intelligence, University of Edinburgh, 1977.
Warren D. H. D., “Prolog on the DECsystem-10,” inExpert Systems in the Microelectronic Age (D. Michie, ed.), Edinburgh University Press, 1979.
Warren, D. H. D., “An improved Prolog implementation which optimises tail recursion,”Proceedings of the Logic Programming Workshop, Debrecen, Hungary, 1980.
Warren, D. H. D., “Perpetual processes—an unexploited Prolog technique,”Logic Programming Newsletter Vol. 3, p. 2 1982.
Warren, D. H. D., “An abstract Prolog instruction set,”Technical Note 300, SRI International, Menlo Park, California, 1983.
Warren, D. H. D., and Pereira, F. C. N., “An efficient easily adaptable system for interpreting natural language queries,”American Journal of Computational Linguistics 8, pp. 110–122, 1982.
Yokota, M., Yamamoto, A., Taki, K., Nishikawa, H. and Uchida, S., “The design and implementation of a personal sequential inference machine: PSI,”New Generation Computing Vol. 1, No. 2, pp. 125–144, 1983.
Author information
Authors and Affiliations
About this article
Cite this article
Clocksin, W.F. Design and simulation of a sequential Prolog machine. NGCO 3, 101–120 (1985). https://doi.org/10.1007/BF03037117
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF03037117