We have implemented a series of algorithm, which includes rule adornment, logic program adornment and factorization, magic transformation, factorizing magic transformation.
处理器中实现了本文中用到的一系列算法，其中包括：规则修饰、逻辑程序的修饰、魔集转换、逻辑程序的分解、分解的魔集转换。
We have implemented a series of algorithm, which includes rule adornment, logic program adornment and factorization, magic transformation, factorizing magic transformation.
处理器中实现了本文中用到的一系列算法，其中包括：规则修饰、逻辑程序的修饰、魔集转换、逻辑程序的分解、分解的魔集转换。
应用推荐