λ-归结和锁归结策略
resolution and lock resolution strategies
巢套或递归结构
nesting or recursive structure
递归结构
recurrence texture
recursive architecture
recursive structure
non-recursive architecture
二阶SLD归结
second order SLD-resolution
二阶自回归结构
autoregressive structure of order 2
共用递归结构
common recursive architecture
广义半锁归结
generalized semi-lock resolution
广义归结
generalized resolution
General resolution principle
归结定理证明消解式定理证明
resolution theorem proving