• 2022-06-08
    说明性语言的特点之一是 (27) , (28) 就是一种说明性语言,它又是一种 (29) 程序设计语言。 Horn子句是逻辑程序设计语言中的重要概念。设P,Q,R为原子公式,则 (30) 为Horn子句。
    A: P,Q:-R
    B: P:-Q,R
    C: P:-~Q,R
    D: P,Q:-
  • 举一反三