Определение предикатов parent и anc имеет вид:

parent(tom, ann).parent(ann, bob).anc(X, Y):- parent(X, Y).anc(X, Z):- parent(X, Z), anc(Z, Y). 

Сколько решений имеет цель anc(X, Y)?

Определение предикатов parent, grandparent и run имеет вид:

parent("Mary", "Bob").parent("Mary", "Tom").parent("Ann", "Mary").grandparent(X, Y):- parent(X, Z), parent(Z, Y).		run():- grandparent(X, Y), write(X, " - ", Y), nl, fail; _ = readLine(). 

Предикат parent объявлен в разделе class predicates. Укажите правильное объявление:

Программа имеет вид:

parent(ann, peter).parent(ann, mary).parent(tom, X) :- parent(ann, X). 

Сколько решений имеет цель parent(tom, X)?

Программа имеет вид:

 parent(bob, peter).parent(bob, X):- parent(ann, X).parent(bob, mary).

Сколько решений имеет цель parent(bob, X)?

Определение предикатов parent и anc имеет вид:

parent(tom, ann).parent(ann, bob).anc(X, Y):- parent(X, Y).anc(X, Z):- parent(X, Z), anc(Z, Y). 

Сколько решений имеет цель anc(tom, X)?

Определение предикатов parent и anc имеет вид:

parent(tom, ann).parent(ann, bob).anc(X, Y):- parent(X, Y).anc(X, Z):- parent(X, Z), anc(Z, Y). 

Сколько решений имеет цель anc(X, ann)?

Предикат parent определяется следующим образом:

parent(peter, mary).parent(mary, ann).parent(mary, bob).

Цель !, parent(X, Y), parent(Y, Z) имеет следующее количество решений:

Предикат parent определяется следующим образом:

parent(peter, mary).parent(mary, ann).parent(mary, bob). 

Цель parent(X, Y), !, parent(Y, Z) имеет следующее количество решений:

Определение предикатов male и parent имеет вид:

male(tom).male(bob).parent(tom, mary).parent(tom, ann).		

Одинаковое ли количество решений имеют цели male(X), parent(X, _) и male(X), not(not(parent(X, _))):

Определение предикатов parent, grandparent и run имеет вид:

parent("Mary", "Bob").parent("Mary", "Tom").parent("Ann", "Mary").grandparent(X, Y):- parent(X, Z), parent(Z, Y).run():- grandparent(X, Y), write(X, " - ", Y), nl, fail; _ = readLine(). 

Укажите правильное объявление предиката grandparent:

Программа имеет вид:

parent(bob, X):- parent(ann, X).parent(ann, peter).parent(peter, mary). 

Сколько решений имеет цель parent(X, peter)?