下列说法正确的是 [ ]

A．少量SO₂通过浓的CaCl₂溶液能生成白色沉淀        

B．可以用澄清石灰水鉴别SO₂和CO₂

C．硫粉在过量的纯氧中燃烧可以生成SO₃      

D．SO₂能使KMnO₄水溶液迅速褪色

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

A．P，Q:-R

B．P:-Q，R

C．P:-～Q，R

D．P，Q:-