冰☆snow 发表于 2006-11-17 01:37

[求助]子句消解代码

RT,<BR>对子句集进行消解推理，得到相应的结论。为了对含有变量的子句使用消解规则，<BR>[em08]必须找到一个置换，作用于父辈子句使其含有互补文字。消解两个子句时，可能有一个以上的消解式，不过，在任何情况下最多有有限个消解式。


页: [1]

编程论坛