A Prolog coprocessor for superconductors

Presents the Prolog coprocessor for directly executing the Prolog program in a supercomputer. The coprocessor performs logic inferences.There are a five-stage pipeline, five separate cache memories, a hardware hashing unit, hardware stacks and queues, and others; they contribute to the parallel/concurrent operations of searching, tracking, unification, and backtracking in logic inferences.<
>