单项选择题

说明性语言的特点之一是______，______就是一种说明性语言、它又是一种______程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则______为Horn子句。对于由子句p(a)和q(x)：-p(x)所组成的程序，其极小Her-brand模型是______。

A．{P(a)}
B．{q(q)2}
C．{p(a),q(a)}
D．{q(x)}
<上一题 目录 下一题>
热门 试题

单项选择题
A．4B．5C．16D．20
A．4
B．5
C．16
D．20
单项选择题
A．P,Q:-RB．P:-Q,RC．P:—～Q,RD．P,Q:—
A．P,Q:-R
B．P:-Q,R
C．P:—～Q,R
D．P,Q:—
相关试题