Abstract
The diffusion of the Logic Programming paradigm in many fields of the Artificial Intelligence requires the design and the implementation of new dedicated machines to improve the execution speed. Among the logic programming languages, Prolog is actually the most widely used. For this reason the realization of efficient Prolog machines represents an essential background for the development of AI techniques.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Cheng E.K. and Mazor S., “The Genesil Silicon Compiler”, in The Silicon Compilation, Addison-Wesley pp.361–405 1988
Civera P.L., Maddaleno F., Piccinini G.L.and Zamboni M., “An experimental VLSI Prolog Interpreter: Preliminary Measurements and Results”, in Proc. 14th Annual International Symposium on Computer Architecture pp. 117–126 1987
Civera P.L., Del Corso D., Piccinini G.L. and Zamboni M., “AWAI Prolog Co-processor: Analysis results and architecture definition”, Tech. Rep. DE-0987, Dip. di Elettr.,Politecnico di Torino, Italy 1987b
Civera P.L., Piccinini G.L. and Zamboni M., “Using Prolog as Computer Architecture Description and Synthesis Language”, submitted to IFIP conference September 1988
Civera P.L., Piccinini G.L. and Zamboni M., “A VLSI Prolog co- processor: Implementation Studies”, to be published in IEEE MICRO October 1988
Dobry T., “A High Performance Architecture for Prolog”, PhD. Thesis Computer Science Division TR-UCB/CS 87/352 University of California Berkeley 1987
Habata S.,Nakazaki R.,Konagaya A.,Atarashi A. and Umemura M., “Co-operative High Performance Sequential Inference Machine: CHI”, in Proc. International Conference on Computer Design: VLSI in Computers & Processors pp. 601–604 1987
Tick E., “Studies in Prolog Architecture”,Technical Report No.CSL-TR-87–329 Computer Systems Laboratory Stanford University June 1987
Touati H. and Despain A. “An Empirical Study of the Warren Abstract Machine” in IEEE proc. Symposium on Logic Programming September 1987
Van Roy P., “A Prolog Compiler for the PLM” Computer Science Division, TR UCB/CS 84/263, University of California Berkeley November 1984
Warren D.H.H., “An abstract Prolog Instruction Set” Technical Note 309, SRI 1983
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Kluwer Academic Publishers
About this chapter
Cite this chapter
Civera, P., Corso, D.D., Piccinini, G., Zamboni, M. (1989). A 32 Bit Processor for Compiled Prolog. In: Delgado-Frias, J.G., Moore, W.R. (eds) VLSI for Artificial Intelligence. The Kluwer International Series in Engineering and Computer Science, vol 68. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1619-0_2
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1619-0_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8895-4
Online ISBN: 978-1-4613-1619-0
eBook Packages: Springer Book Archive