填空题

【参考答案】

最一般合一(MGU)