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 are not very efficient at and often incapable of handling large sets of clauses. Large knowledge bases which may comprise millions of clauses and are shared by a number of users, may need to reside in secondary memory. In such cases exhaustive search is inordinately… (More)
DOI: 10.1145/74925.74950


7 Figures and Tables

Slides referencing similar topics