单项选择题

A.一阶谓词表示法
B.状态空间法
C.关系式表示法
D.框架表示法