Referenced Items are not available for this document.
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
Published in:
System Sciences, 1991. Proceedings of the Twenty-Fourth Annual Hawaii International Conference on
(Volume:i
)
Date of Conference: 8-11 Jan 1991
- Page(s):
- 134 - 141 vol.1
- Meeting Date :
- 08 Jan 1991-11 Jan 1991
- INSPEC Accession Number:
- 4120671
- Conference Location :
- Kauai, HI
- Digital Object Identifier :
- 10.1109/HICSS.1991.183879
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
