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

A．C++

B．Prolog

C．GPSS

D．Smalltalk

根据《中华人民共和国船员条例》的规定，下面哪条论述不正确：（）

A.中国籍船舶的船长和高级船员应当由中国籍船员担任

B.任何情况下，外国籍船员都不能担任中国籍船舶的高级船员。

C.船员适任证书的有效期不超过5年。

D.海事管理机构应当自受理船员注册申请之日起10日内做出注册或者不予注册的决定