Abstract
Cost-effective parallel hardware for performing pattern directed (i.e. associative) search, transitive closure, etc., is becoming a reality. It is therefore appropriate to re-examine classical computational models for logic programming, to see whether the power offered by this new hardware can be exploited. We describe two computational models. One supports parallelism (AND-parallelism and OR-parallelism) by replacing a WAM stack-based configuration by associative memory; this is a direct consequence of using fixpoint computations instead of the traditional resolution rule principle. The other exploits the potential of parallelisms in logic programs (especially unification parallelism and the pipeline parallelism between inference and unification) with the idea of separating unification from inference, as proposed in the field of Theorem Proving. Both these approaches produce requirements for tasks which could be performed by special hardware. We comment on the prospects for implementing such hardware, based on our experience of a SIMD parallel associative memory which also offers a range of set and graph operations.
Jiwei Wang is moving to the Department of Computer Science, University of Bristol, Bristol BS8 1TR
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
F. Bancilhon, D. Maier, Y. Sagiv & J.D. Ullman, “Magic sets and other strange ways to implement logic programsℍ, proceedings 5th ACM SIGMOD-SIGACT Symposium on Principles of Database Systems (PODS), pp. 1–15.
C. Beeri & R. Ramakrishnan, “On the power of magicℍ, proceedings 6th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), San Diego, CA, March 1987, pp. 269–283.
F. Bry, “Advanced fixpoint procedures for querying databases: A rule-based approachℍ, Internal report No. IR-KB-61, ECRC, March 1989.
W. Bibel, F, Kurfess, K. Aspetsberger, P. Hintenaus & J. Schumann. “Parallel Inference Machinesℍ, Future Parallel Computers, Edited by P. Treleaven & M. Vanneschi, LNCS. No. 272, Springer-Verlag, 1987, pp. 185–226.
C.L. Chang & J.R. Slagle. “Using Rewriting Rules for Connection Graphs to Prove Theoremsℍ, Journal of AI 12 (1979), pp. 159–180.
A. Ciepielewski, S. Haridi & B. Hausman. “Initial Evaluation of a Virtual Machine for OR-Parallel Execution of Logic Programsℍ, IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture, UMIST, Manchester, July 15–18 1985.
J.H. Harland & J. Jaffar. “On Parallel Unification for Prologℍ, New Generation Computing, No. 5, 1987, pp. 259–279.
L. Kale, B. Ramkumar & W. Shu, “A memory organization independent binding environment for AND and OR parallel execution of logic programsℍ, proceedings 5th International Conference and Symposium on Logic Programming, R.Kowalski K.Bowen (ed), Seattle, August 1988, pp. 1223–1240.
S.H. Lavington, M. Standring, Y.J. Jiang, C.J. Wang & M.E. Waite. “Hardware Memory Management for Large Knowledge Basesℍ, Proc. of PARLE, the Conference on Parallel Architectures and Languages Europe, Eindhoven, June 1987, pp. 226–241.
S.H. Lavington. “Technical Overview of the Intelligent File Storeℍ, J. Knowledge-Based Systems, vol.1, No 3. 1988, pp. 166–172.
S.H. Lavington, J. Robinson & F-Y. Mok. “A High-speed Relational Algebraic Processor for Large Knowledge Basesℍ, Proc. of Intl. Workshop on VLSI for AI, Oxford, July, 1988. Also in VLSI for AI, (eds). Delgado-Frias and Moore, Kluwer Academic Press, 1989, pp. 133–143.
S.H. Lavington & R.A.J. Davies, “Active Memory for Managing Persistent Objectsℍ. Presented at the International Workshop on Computer Architectures to Support Security and Persistence, Bremen, FRG, May 1990. Proceedings published by Springer-Verlag, pages 137–154.
J.C. Manley, “kbProlog: a Language for Knowledge Managementℍ. Proceedings of the UNICOM Seminar on Commercial Parallel Processing, London, June 1990, pages 164–173.
A.J.Marsh, “A query evaluation model supporting parallelism for logic programsℍ, Thesis submitted for Ph.D., Dept. of Computer Science, Univ. of Essex, 1990.
W. Nejdl, “Recursive strategies for answering recursive queries — The RQA/FQI strategyℍ, proceedings 13th International Conference on Very Large Data Bases, Brighton, U.K. September 1987, pp. 43–50.
R. Rohmer, R. Lescoeur & J.M. Kerisit, “The Alexander Method, a Technique for Processing of Recursive Axioms in Deductive Databasesℍ, New Generation Computing, Vol. 4 No. 3, 1986, pp. 273–285.
J. Robinson & S.H. Lavington, “A Transitive Closure and Magic Functions Machineℍ, Proc. of the Second International Symposium on Databases in Parallel and Distributed Systems, Dublin, July 1990, pp. 44–54.
H. Tamaki & T. Sato, “OLD resolution with tabulationℍ, proceedings of 3rd International Conference on Logic programming, London, U.K., 1986, pp. 84–98.
L. Vieille, “Recursive Axioms in Deductive Databases: The Query/Subquery Approachℍ, proceedings First International Conference on Expert Database Systems, Charleston, 1986, pp. 179–194.
L. Vieille, “Recursive Query Processing: the Power of Logicℍ, Journal of Theoretical Computer Science (Netherlands), vol 69, No. 1, December 1989, pp. 1–53.
J. Wang. “A New Computational Model for Logic Languages and its Supporting Architectureℍ, Forthcoming Ph.D. Thesis, Dept. of Computer Science, Univ. of Essex, 1990.
J. Wang & S.H. Lavington, “The Wivenhoe Computational Model: in Search of More Parallelismsℍ, Proc. of UK Association for Logic Programming 1990 Conference, Bristol, March, 1990.
C.J. Wang & S.H. Lavington, “SIMD Parallelism for Symbol Mappingℍ, International Workshop on VLSI for AI and Neural Networks, Oxford, Sept., 1990.
H. Yasuura. “On Parallel Computational Complexity of Unificationℍ, Proc. of the fifth generation computer systems 1984, pp. 235–243.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, J., Marsh, A., Lavington, S. (1992). Non-WAM models of logic programming and their support by novel parallel hardware. In: Fronhöfer, B., Wrightson, G. (eds) Parallelization in Inference Systems. Lecture Notes in Computer Science, vol 590. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55425-4_13
Download citation
DOI: https://doi.org/10.1007/3-540-55425-4_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55425-7
Online ISBN: 978-3-540-47066-3
eBook Packages: Springer Book Archive