Index matching hardware for selective clause retrieval in large Prolog knowledge bases

摘要: While interest in the use of Prolog for knowledge base applications is growing, size these limited by capabilities current translators handling disc resident clauses. A major impediment inordinate amount time required retrieval and unification clauses from a large set stored on disc. The CLAuse Retrieval Engine (CLARE) hardware engine designed specially to enhance performance systems when dealing with clause sets. It based selective using superimposed codeword indexing strategy. In this article, principle index matching strategy explained design corresponding described.