单选题
说明性语言的特点之一是______，______就是一种说明性语言、它又是一种______程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则______为Horn子句。对于由子句p(a)和q(x)：-p(x)所组成的程序，其极小Her-brand模型是______。
A、
没有程序呼叫
B、
描述处理过程
C、
没有赋值语句
D、
描述用户需求
【正确答案】
C
【答案解析】
A、
C++
B、
PROLOG
C、
GPSS
D、
Smalltalk
【正确答案】
B
【答案解析】
A、
函数型
B、
递归型
C、
人工智能
D、
面向对象
【正确答案】
C
【答案解析】
A、
P,Q:-R
B、
P:-Q,R
C、
P:—～Q,R
D、
P,Q:—
【正确答案】
B
【答案解析】
A、
{P(a)}
B、
{q(q)2}
C、
{p(a),q(a)}
D、
{q(x)}
【正确答案】
C
【答案解析】
提交答案
关闭