合一算法：求非空有限具有相同谓词名的原子公式集的（）
参考答案：最一般合一（MGU）
所有CD-ROM光盘只能读，不能写（ ）
A．是
B．否
西立伐他汀停用的主要原因是
A．疗效不佳B．消化道反应太强C．有横纹肌溶解的危险D．药物剂量大，不易控制用量E．由于销售欠佳，厂商停产
