下列用于归还贷款的利润，一般应是（）的未分配利润。

A.提取了法定盈余公积金后

B.提取了盈余公积金、公益金后

C.弥补了以前年度亏损后

D.分配相应投资收益后

说明性语言的特点之一是 (27) ， (28) 就是一种说明性语言，它又是一种 (29) 程序设计语言。
Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则 (30) 为Horn子句。

A．函数型

B．递归型

C．人工智能

D．面向对象