A Prolog processor based on a pattern matching memory device

  • Ian Robinson
Session 2a: Implementations And Architectures

DOI: 10.1007/3-540-16492-8_73

Part of the Lecture Notes in Computer Science book series (LNCS, volume 225)
Cite this paper as:
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

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1986

Authors and Affiliations

  • Ian Robinson
    • 1
  1. 1.Schlumberger Palo Alto ResearchComputer Aided Systems LaboratoryPalo Alto

Personalised recommendations