• 2022-06-08
    说明性语言的特点之一是______,______就是一种说明性语言、它又是一种______程序设计语言。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)}
  • 举一反三