A Prolog coprocessor for superconductors
Yaohan Chu, Kozo Itano · 2002
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.>