合一算法：求非空有限具有相同谓词名的原子公式集的（）
参考答案：最一般合一（MGU）
为了对紧急进程或重要进程进行调度，调度算法应采用( )。
A．先进先出调度算法
B．优先级调度法
C．短执行优先调度法
D．轮转法
列举园林造景的艺术手法
