A Prolog processor based on a pattern matching memory device
A Prolog processing system using a parallel pattern matching component is outlined. The component, called a Pattern Addressable Memory (PAM), is used to store the clause heads from a Prolog database, and match them against an input goal/subgoal. It is shown that using this device has advantages not only for clause selection, but also for the unification function itself. Such a system, it is argued, demonstrates superior performance compared to serial approaches.
Unable to display preview. Download preview PDF.
- [Con83]J.S. Conery ‘The AND/OR Process Model for Parallel Interpretation of Logic Programs' PhD. thesis, Univ. of California at Irvine, June '83.Google Scholar
- [DaR85a]A.L. Davis S.V. Robison ‘The FAIM-1 Symbolic Multiprocessing System’ Proc. Compcon, Feb '85.Google Scholar
- [DaR85b]A.L. Davis S.V. Robison ‘An Overview of the FAIM-1 Multiprocessing System’ Proc. 1st AI & Adv. Computer Tech. Conf., April '85.Google Scholar
- [DaR85c]A.L. Davis S.V. Robison ‘The Architecture of the FAIM-1 Symbolic Multiprocessing System’ Proc. IJCAI, August '85.Google Scholar
- [Dob85]T.P. Dobry A.M. Despain Y.N. Patt ‘Performance Studies of a Prolog Machine Architecture’ 8th Annual Int'l Symp. on Comp. Arch., June '85.Google Scholar
- [Dwo84]C. Dwork P.C. Kanellakis J.C. Mitchell ‘On the Sequential Nature of Unification’ J. Logic Programming, Vol 1, '84.Google Scholar
- [Nak85]R. Nakazaki et al. ‘Design of a High-Speed Prolog Machine’ 8th Annual Int'l Symp. on Comp. Arch., June '85.Google Scholar
- [Rob84]I. Robinson ‘The Pattern Addressable Memory’ SPAR internal publication, Nov '84.Google Scholar
- [TiW83]E. Tick D. Warren ‘Towards a Pipelined Prolog Processor’ Tech. report, SRI AI Centre, Aug '83.Google Scholar
- [War77]D. Warren ‘Implementing Prolog’ Tech. report 39, Edinburgh University, May '77.Google Scholar
- [War83]D. Warren ‘An Abstract Prolog Instruction Set’ Tech. Report 309, AI Centre, SRI International, October '83.Google Scholar
- [WiP84]M.J.Wise D.M.W.Powers ‘Indexing Prolog Clauses via Superimposed Code Words and Field Encoded Words’ Proc. Int. Symp. on Logic Programming, Feb '84.Google Scholar
- [Yas84]H. Yasuura ‘On Parallel Computational Complexity of Unification’ Proc. Int. Conf. on FGCS '84.Google Scholar