选项
A.
最一般合一
B.
最一般替换
C.
最一般谓词
D.
基替换
正确答案：