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

A．C++
B．Prolog
C．GPSS
D．Smalltalk

．在某工地上，一工人用滑轮组起吊重为600N的物体，他站在地面上用200N的力往下拉绳，使物体匀速上升3m，滑轮组工作时的效率为75％，求：

（1）滑轮组提升重物所做的有用功和该工人的拉力所做的总功。

（2）该滑轮组中吊起动滑轮的绳子股数n，并画出这个滑轮组的示意图。