患者女，48岁，因“颈部增粗17年”来诊。查体：甲状腺Ⅱ度肿大，可触及多个结节，未闻及血管杂音。

初步考虑颈部增粗的原因可能包括（）

A.桥本甲状腺炎

B.结节性甲状腺肿

C.甲状腺癌

D.地方性甲状腺肿

E.产后甲状腺炎

F.亚急性甲状腺炎

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

A．Horn子句与函数

B．函数与Horn

C．Horn子句与过程

D．过程与函数