Определение предикатов married и female выглядит следующим образом:

married(tom, mary).female(mary).female(ann).		

Напишите решение для цели female(X), not(married(_, X)):

Отношение married определяется в виде:

married(tom, mary).married(bob, ann). 

Симметричное замыкание отношения married можно определить следующим образом:

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

 		female(ann).		female(mary).		male(tom).		male(bob).

Укажите порядок нахождения решений для цели

male(X); female(X)		1) X = ann		2) X = mary		3) X = tom		4) X = bob 

Определение предикатов 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. Укажите правильное объявление:

Определение предикатов likes и male выглядит следующим образом:

male(peter).male(bob).likes(peter, bycicle). 

Напишите решение для цели male(Y), not(likes(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(). 

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

Предикат 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) имеет следующее количество решений:

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

likes(mary, books).likes(peter, mary).likes(mary, peter).

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

Начальное значение факта-переменной n равно 0. Определение предикатов fruit и print имеет вид:

fruit(1, "apple").fruit(2, "pear").		print() :- repeat(), fruit(_, X), write(X), nl, n := n + 1, n = 3, !.print(). 

Напишите название фрукта, которое будет напечатано последним при вызове цели print():

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

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

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