Crowdly

Додати до Chrome

Consider the following Prolog rule: ancestor_o...

✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.

Consider the following Prolog rule:

ancestor_of(X,Y) :- parent_of(X,Y).

and the query:

?- ancestor_of(john,Z).

Which query is derived after unification of the above query with the rule head?

?- parent_of(Z,john).

?- parent_of(john,Z).

100%

?- parent_of(X,Y).

?- ancestor_of(X,Y).

Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!

Додати до Chrome