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

Abstract

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

Topics

7 Figures and Tables

Slides referencing similar topics