База ответов ИНТУИТ

Основы программирования на языке Visual Prolog

<<- Назад к вопросам

Программа имеет вид:
male(tom).male(bob).parent(ann, tom).		
Укажите порядок нахождения решений для цели
parent(X, Y); male(Y)	1) Y = tom	2) Y = bob	3) X = ann,Y = tom		

(Отметьте один правильный вариант ответа.)

Варианты ответа
3, 1, 2(Верный ответ)
3, 2, 1
2, 1, 3
1, 2, 3
Похожие вопросы
Определение предикатов 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, _))):
Программа имеет вид:
 		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 
Программа имеет вид:
male(tom).male(bob).		
Отсечение в запросе male(X), !, male (Y)
Определение предикатов likes и male выглядит следующим образом:
male(peter).male(bob).likes(peter, bycicle). 
Напишите решение для цели male(Y), not(likes(Y, _)):
Программа имеет вид:
 parent(bob, peter).parent(bob, X):- parent(ann, X).parent(bob, mary).
Сколько решений имеет цель parent(bob, X)?
Программа имеет вид:
parent(ann, peter).parent(ann, mary).parent(tom, X) :- parent(ann, X). 
Сколько решений имеет цель parent(tom, X)?
Программа имеет вид:
parent(bob, X):- parent(ann, X).parent(ann, peter).parent(peter, mary). 
Сколько решений имеет цель parent(X, peter)?