The algorithm follows the magic-set paradigm of a rewriting phase followed by semi-naive bottom-up evaluation, and achieves its efficiency by reducing the arity of the recursive predicates in the transformed rules.

  • 和右线性递归计算算法一样,本文提供的算法遵循魔集的模式:首先改写规则,然后用半扑质的自底向上算法计算新规则.算法的有效性通过减少递归谓词的元数实现。

  • 互联网摘选 2025-01-19 23:25:10

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句