Which of the following can Prolog conclude from the following program? parent(jill,sue).
Parent(jill,sally).
Parent(john,sue).
Parent(john,sally).
Sibling(X,Y):- parent(Z,X),parent(Z,Y).
A) parent(jill, john)
B) sister(sue, sally)
C) sibling(sue, sally)
D) sibling(jill, sue)

Question

Quizplus · Accepted Answer

The rule "Sibling(X,Y):- parent(Z,X),parent(Z,Y)." defines siblings as two individuals who share the same parent. Therefore, Prolog can conclude that "sue" and "sally" are siblings, and therefore answer C is correct. The program does not provide enough information to conclude any of the other options.

Which of the Following Can Prolog Conclude from the Following