Abstract
The ICM (Inference Crunching Machines) Project is a research project conducted at ECRC to design and evaluate the architectures of processors dedicated to Prolog. Although there is a real trend in developing co-processors for AI, little has been done to tailor the abstract Prolog machines known in the literature to the real features of existing hardware. ICM3 is one example of such an effort to modify the software Prolog machine, leading to a powerful and efficient implementation in hardware. After an introduction giving the framework of the ICM Project, we describe the modified abstract machine, then the architecture of ICM3, emphasizing its unique features (asynchronous prefetch unit, dereferencing and unification unit). Some functional and gate level simulation results follow. We conclude with comments on what we learned from ICM3, and introduce the next project under way at ECRC, in the Computer Architecture Group.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
