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

A．对象式和逻辑式

B．对象式和函数式

C．逻辑式和函数式

D．对象式