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

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

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

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

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

Варианты ответа
likes(Z, X) :- likes(Y, X)
likes(bob, books) :- likes(ann, books)
likes(tom, X) :- likes(ann, X)
likes(bob, Z) :- likes(ann, Z)(Верный ответ)
Похожие вопросы
Отношение 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. ")?
Определение предикатов 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: