Title :
A Prolog coprocessor for superconductors
Author :
Chu, Yaohan ; Itano, Kozo
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
Abstract :
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
Keywords :
PROLOG; multiprocessing systems; satellite computers; Prolog coprocessor; logic inferences; supercomputer; Coprocessors; Databases; Educational institutions; Floating-point arithmetic; Hardware; Inference algorithms; Logic; Pipelines; Supercomputers; Superconductivity;
Conference_Titel :
System Sciences, 1991. Proceedings of the Twenty-Fourth Annual Hawaii International Conference on
Conference_Location :
Kauai, HI
DOI :
10.1109/HICSS.1991.183879
