单项选择题

定义谓词如下:HIGHER(x,y):x比y长得高,定义公式father(x):x的父亲。李某某比他父亲长得高。用谓词公式表示为()。

A.HIGHER(limm,father(limm))
B.HIGHER(father(limm),limm )
C.father(limm)
D.以上都不对

微信扫码免费搜题