UGC-NET | UGC-NET CS 2015年12月–III |问题43

horn从句是。 （A） 表达式中没有变量的子句 （B） 至少有一个否定字面值的子句 （C） 多个文字的析取 （D） 最多有一个正文本的子句 答复: （D） 说明： 在逻辑编程中，horn子句是一个最多有一个正文本的子句。当只有一个正文本时，它被称为确定从句，但当没有正文本时，它有时被称为目标从句。 因此，选项（D）是正确的。 这个问题的小测验