Design Considerations for a Prolog Database Engine

摘要: One major hindrance to using Prolog for implementing large databases is the slow speed of unification. The size physical memory required store a database renders main impractical and sets clauses need be stored on secondary disk memory. Full unification performed directly resident would unacceptably slow. For this reason, special purpose machine being designed which will provide fast filtering system. system, known as CLARE (CLAuse Retrieval Engine), discriminantly retrieves all potentially unifiable queries provides small resolution set full system based two-stage process aspects design are discussed. Three configurations suitable implementation studied. studies enable selection most cost-effective configuration applicable workstation-based