摘要 |
PURPOSE:To perform processing efficiently by obtaining an address cell by hashing calculation and using the cell in the address as a cell expressing partial structure data containing only a constant cell provided corresponding to a constant term. CONSTITUTION:This system consists of a control part 31 which selects a couple of structure data, a storage part 33 for the structure data, and a unification processing part 32, and the storage part 33 consists of a cell table 42 forming a hashing cell control system and its area control part 41, and a cell table 44 forming a nonhashing cell control system and its area control part 43. Further, each cell consists of the 1st field 45 indicating whether the cell is a term representation cell or not, the 2nd field 46 indicating whether the cell represents structure containing only a constant term or not, the 3rd field 47 showing an identifier, etc., when the cell is the constant term representation cell, and the 4th field 48 as a pointer for a cell representing a twin term, and a hashing system is applied to a nonvariation part. |