程序设计语言Lisp与Prolog分别是 (41) ，它们的理论基础分别是 (42) 它们的数据结构分别是 (43) ，它们的程序形式分别是 (44) ，主要应用于 (45) 。

A．逻辑与对象

B．对象与逻辑

C．函数与逻辑

D．逻辑与函数

擦边掘进时，如遇上区段巷道的棚腿外露时，其下帮棚腿不要抽掉。（）