Publication in BibTeX Format

@TECHREPORT{AICPub642:1983,
  AUTHOR={Tick, Evan},
  TITLE={An Overlapped Prolog Processor},
  ADDRESS={333 Ravenswood Ave., Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={Oct},
  NUMBER={308},
  YEAR={1983},
  KEYWORDS={Prolog},
  ABSTRACT={This report describes the design of a Prolog machine organization implementing
     D. Warren’s architecture. The objective was to determine the maximum
     performance attainable by a sequential Prolog machine for ``reasonable’’
     cost. The report compares the organization to both general-purpose, microcoded
     machines and reduced-instruction-set machines. Hand timings indicate that a
     peak performance rate of 450 K LIPS (logical inferences per second) is well
     within current technology limitations and 1 M LIPS is potentially feasible.}
}