[计]?归结原理

...g， 该语言实现了自动推理功能，是 一种较有前途的计算机语言Prolog语言建立在一阶谓词逻辑和归结原理 （Resolution Principle）基础上，它具有自动推理功能。

?消解原理

3.4 消解原理 (resolution principle) 回顾： 原子公式（atomic formulas）:由谓词符号和若干项组成。

[数]?分解法则

... reciprocity principle 互易原理 resolution principle 分解法则,分解原理... ultimate principle 基本原理 ...

[数]?分解原理

... resolution principle翻译 【计】 分解法则; 分解原理 rhaphidiospore翻译 【医】 子孢子体 Rolando's cells翻译 【医】 罗朗多氏细胞(胶质神经节细胞) ...