A Type Driven Hardware Engine For Prolog Clause Retrieval Over A Large Knowledge Base

摘要: Whereas existing Prolog systems are very effective at handling small knowledge bases, they not efficient and often incapable of large sets clauses. Large bases which may comprise millions clauses shared by a number users, need to reside in secondary memory. In such cases exhaustive search is inordinately slow. Various approaches have been put forward for the problem, most involve coupled (loosely or tightly coupled). A data/knowledge based system provides an integrated solution problem being developed. An essential element this CLAuse Retrieval Engine, CLARE, special purpose hardware engine designed perform selective retrieval data from disk order identify all potential will be required full unification during query. The consists two separate components, together form two-stage filtering configuration. This paper concentrates on second stage filter concerned with partial test unification.