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

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

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

Отношение likes определяется в виде:
likes(bob, X) :- likes(ann, X).likes(ann, books).likes(tom, ann). 
Основным примером правила likes(bob, X) :- likes(ann, X) является правило

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

Варианты ответа
likes(bob, ann) :- likes(ann, books)
likes(ann, X) :- likes(bob, X)
likes(tom, X) :- likes(ann, X)
likes(bob, books) :- likes(ann, books)(Верный ответ)
Похожие вопросы
Отношение likes определяется в виде:
likes(bob, X) :- likes(ann, X).likes(ann, books).likes(tom, ann). 
Вариантом правила likes(bob, X) :- likes(ann, X) является правило
Отношение likes определяется следующим образом:
likes(bob, X) :- likes(ann, X).likes(ann, books).likes(tom, ann). 
Укажите весь набор значений, которые примет переменная X в результате вычисления запроса likes(_, X)?
Отношение likes определяется следующим образом:
likes(ann, books).likes(tom, ann).likes(bob, X) :- likes(ann, X). 
Укажите весь набор значений, которые примет переменная X в результате вычисления запроса likes(X, _)?
Предикат likes определяется следующим образом:
likes(mary, books).likes(peter, mary).likes(mary, peter).
Цель likes(X, Y), !, likes(Y, Z) имеет следующее количество решений:
Эрбранов универсум логической программы
likes(bob, X) :- likes(ann, X).likes(ann, books). 
выглядит следующим образом:
Программа имеет вид:
likes(mary, books).likes(bob, mary).likes(bob, books). 
Напишите решение, которое имеет цель likes(X, mary):
Программа имеет вид:
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 
Определение предикатов likes и male выглядит следующим образом:
male(peter).male(bob).likes(peter, bycicle). 
Напишите решение для цели male(Y), not(likes(Y, _)):
Определение предиката scan имеет вид:
scan(S) = [Tok | scan(Rest)]:- string::frontToken(S, Tok, Rest), !.		scan(_) = []. 
Какое значение примет переменная S в результате вызова S = scan(" The cat likes it. ")?
Определение предиката 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)?