PROLOG语言属于 (3) 程序设计范型，该范型将程序设计归结为列举事实，定义逻辑关系等。

A．过程式

B．函数式

C．面向逻辑

D．面向对象

两个形体相交后，在它们的表面上（）一系列同属于两形体的公共点。

A.一定存在

B.根本没有

C.部分产生

D.有时会有