找考题网-背景图
单项选择题

设有规则:W(a,b,c,d)→R(a,b,x)∧S(c,d,y)∧x>y与上述规则头部等价的关系表达式是()。

A.A
B.B
C.C
D.D

热门试题