典型的人工智能语言一般包括 (1) 语言。匹配(match)、合一(unification)和Horn子句是 (2) 语言中的重要概念。 (3) 、 (4) 、 (5) 都是人工智能语言。

A．对象式和逻辑式

B．对象式和函数式

C．逻辑式和函数式

D．逻辑式

法医尸体检验的目的是（）

A、确定死因

B、鉴别暴力死或非暴力死

C、判断自杀、他杀或灾害事故

D、确定毒物性质及其含量

E、推断死亡时间