Limiting a resolution set in a large Prolog database using special hardware

摘要: There is a growing interest in the application of Prolog and related languages like Parlog to database implementation. Existing systems, however, are unable cope with large sets data size necessary for databases. A would consist millions clauses. The physical memory required store has deemed main impractical many computer systems. Therefore clauses usually placed on secondary disc memory. Clause retrieval, becomes extremely slow. Furthermore, enormous amount time unification upon set drastically degraded system performance. Either these factors leads non-timely response which irritating cases, intolerable. To mediate problems, special hardware unit proposed - CLAuse Retrieval Engine (CLARE). functions CLARE search discs storing on-the-fly select potentially unifiable Two stages filtering will be applied clauses; thus small resolution guaranteed.