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

A．对象式和逻辑式

B．对象式和函数式

C．逻辑式和函数式

D．函数式

请举出一个例子，说明下列有关溶液叙述是错误的

①溶液一定是无色的。实例：_____________溶液不是无色的。

②均一、稳定的液体都是溶液。实例：__________是液体，但不是溶液。

③溶液中的溶质一定是固体。实例：___________可做溶质，但不是固体。

④饱和溶液一定是浓溶液。实例：_________溶液达到饱和时也是稀溶液。