Explanation : In logic programming horn clause is a clause that has at most one positive literal. When there is exactly one positive literal then it is known as definite clause but when there is no positive literal then sometimes it is called goal clause. So, option (D) is correct.