下列实验中，能达到预期目的的是  [ ]

A.用过滤法除去Fe(OH)₃胶体中的FeCl₃

B.用25 mL碱式滴定管量取20. 00 mL Na₂CO₃溶液

C.向某溶液中滴入BaCl₂溶液和稀HNO₃，来检验溶液中是否含有SO₄^2-

D.将Na投入到CuSO₄溶液中置换出铜，来证明钠的金属性比铜强

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

A．没有程序呼叫
B．描述处理过程
C．没有赋值语句
D．描述用户需求