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

A．Lisp
B．Ada
C．Prolog
D．Pascal

锅炉、压力容器、电梯、起重机械、客运索道、大型游乐设施、场（厂）内专用机动车辆的作业人员及其相关管理人员，应当按照国家有关规定经特种设备安全监督管理部门（），取得国家统一格式的特种作业人员证书，方可从事相应的作业或者管理工作。

A、培训

B、培训合格

C、考核

D、考核合格