A Type Driven Hardware Engine for Prolog Clause Retrieval over a Large Knowledge Base.

Kam-Fai Wong, M. Howard Williams

Browse the full ISCA paper archive.