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

male(tom).male(bob).		

Отсечение в запросе male(X), !, male (Y)

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

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

Рассмотрим цели not(parent(X, _)), male(X) и male(X), not(parent(X, _)). Отметьте правильное утверждение:

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

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

Рассмотрим цели parent(X, _), not(not(male(X))) и not(not(male(X))), parent(X, _). Отметьте правильное утверждение:

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

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

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

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

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

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

parent(X, Y); male(Y)	1) Y = tom	2) Y = bob	3) X = ann,Y = tom		

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

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

Напишите решение для цели male(Y), not(likes(Y, _)):

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

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

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

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

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

likes(ann, books).likes(tom, baseball).male(tom).male(bob).		

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

male(Y); likes(X, Y)		1) Y = bob		2) Y = tom		3) X = tom,Y = baseball		4) X = ann,Y = books 

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

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

Напишите значение, примет переменная X при вызове parent(ann, X)?

Определение предиката g имеет вид:

g(0, R, R):- !.g(X, C, R):- X1 = X - 1, C1 = 2 * C + 1, g(X1, C1, R). 

Какое значение примет переменная Y в результате вызова цели g(2, 2, Y)?

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

min(X, Y, X):- X < Y, !.min(X, Y, Y):- X >= Y.run():- min(1, 3, X), write(X), nl, fail; _ = readLine(). 

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