Abstract
The majority of parallel architectures for Prolog exploit the inherent AND/OR parallelism available within the language, whilst still maintaining the depth first search strategy. Alternative control strategies are usually implemented with a meta-interpreter in Prolog but Giuliano (1991) found them to be inefficient. This inefficiency has lead us to investigate a distributed architecture that exploits search and data parallelism in Prolog rather than the AND/OR parallelism of other systems. State space search and in particular the A* algorithm (Nilsson 1980) provide a possible solution.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bratko, I. Prolog Programming for Artificial Intelligence, Addison-Wesley, pp. 120–122, 1990.
Giuliano, M.E., “The control and execution of parallel logic programs”, PhD Thesis, Dept. of Computer Science, University of Maryland, USA, 1991.
Kacsuk, P. and Bale, A., “DAP Prolog: A Set-oriented Approach to Prolog” in The Computer Journal, vol. 30, no. 5, pp. 393–403, 1987.
Kogge, P.M., Oldfield, J.V., Brule, M.R. and Stormon, CD., “VLSI and Rule-Based Systems” in VLSI for Artificial Intelligence, J. Delgado-Frias and W. Moore (ed), Kluwer Academic Press, 1989.
Lea, R.M., “The ASP: A cost-effective parallel microcomputer”, in IEEE Micro, pp. 10–29, 1988.
Lea, R.M., “WASP: A WSI Associative String Processor” in Journal of VLSI Signal Processing, vol. 2, no. 4, pp. 271–285, May 1991.
Naganuma, J., Ogura, T., Yamada, S.I. and Kimura, T., “High-Speed CAM-Based Architecture for a Prolog Machine (ASCA)” in IEEE Trans, on Computers, vol. 37, no. 11, pp. 1375–1383, Nov. 1988.
Ng, Y.H., Glover, R.J. and Chng, C.L., “Unify with Active Memory”, in VLSI for Artificial Intelligence, J. Delgado-Frias and W. Moore (ed), Kluwer Academic Press, 1989.
Nilsson, N.J., Principles of Artificial Intelligence, Morgan Kaufmann, 1980.
Pohl, I., “First Results on the Effect of Error in Heuristic Search”, in Machine Intelligence 5, B. Meltzer and D. Michie (ed), Edinburgh University Press, pp. 219–236, 1969.
Rodohan, D.P. and Glover, R.J., “An Overview of the A* Architecture for Optimisation Problems in a Logic Programming Environment” in Computer Architecture News, vol. 19, no. 4, pp. 124–131, June 1991.
Rodohan, D.P. “Associative Evaluation of Logic Programs using Artificial Intelligence Search Techniques”, PhD Thesis, Dept. of Electrical Engineering, Brunei University, UK, in preparation.
Warren, D.H.D, “An abstract Prolog instruction set”, Tech. Note 309, Artificial Intelligence Centre, SRI Int., Oct. 1983.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media New York
About this chapter
Cite this chapter
Rodohan, D., Glover, R. (1994). A Distributed Parallel Associative Processor (DPAP) for the Execution of Logic Programs. In: Delgado-Frias, J.G., Moore, W.R. (eds) VLSI for Neural Networks and Artificial Intelligence. Springer, Boston, MA. https://doi.org/10.1007/978-1-4899-1331-9_26
Download citation
DOI: https://doi.org/10.1007/978-1-4899-1331-9_26
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4899-1333-3
Online ISBN: 978-1-4899-1331-9
eBook Packages: Springer Book Archive