【正确答案】 D

【答案解析】用逻辑式程序设计语言编写程序不需要描述具体的解题过程，只需要给出一些必要的事实和规则。这些规则是解决问题的方法的规范说明，根据这些事实和规则，计算机利用谓词逻辑，通过演绎推理得到求解问题的执行序列。这种语言主要用在人工智能领域，也应用在自然语言处理、数据库查询、算法描述等方面，尤其适合于作为专家系统的开发工具。

函数式程序设计的数据结构本质上是表，而函数又可以作为值出现在表中，因此函数式程序的控制结构取决于函数，以及函数的定义和调用。函数式语言主要用于符号数据处理，如微分和积分演算、数理逻辑、游戏推演以及人工智能等其他领域。