Robinson I. (1986) A Prolog processor based on a pattern matching memory device. In: Shapiro E. (eds) Third International Conference on Logic Programming. ICLP 1986. Lecture Notes in Computer Science, vol 225. Springer, Berlin, Heidelberg
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.