Главная /
Основы программирования на языке Visual Prolog /
Определение предикатов 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, 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
:
вопрос
Правильный ответ:
grandparent: (string, string) nondeterm (o,o) (i,o) (o,i) (i,i).
grandparent: (string, string) determ.
grandparent: (string, string) multi (o,o) nondeterm (i,o).
grandparent: (string, string) nondeterm (o,o).
Сложность вопроса
40
Сложность курса: Основы программирования на языке Visual Prolog
94
Оценить вопрос
Комментарии:
Аноним
Зачёт сдал. Лечу выпивать отмечать халяву с тестами интуит
26 ноя 2017
Другие ответы на вопросы из темы программирование интуит.
- # Признак N присутствует, если в базе данных имеется факт answer(N, 1), и отсутствует, если в ней имеется факт answer(N, 0). Определение предиката correct имеет вид:correct(L):- answer(N, 1), not(isMember(N, L)), !, fail; succeed(). Предикат истинен, если
- # Определение предикатов parent и anc имеет вид: parent(tom, ann). parent(ann, bob). anc(X, Y):- parent(X, Y). anc(X, Z):- parent(X, Z), anc(Z, Y). Сколько решений имеет цель anc(X, ann)?
- # Определение предиката num имеет вид: num(X, X). num(X, Y) :- X > 0, X1 = X - 1, num(X1, Y). Сколько решений имеет цель num(4, X)?
- # Определение предиката num имеет вид: num(X, X). num(X, Y) :- X > 0, X1 = X - 2, num(X1, Y). Сколько решений имеет цель num(5, X)?
- # Определение предикатов difference и member имеет вид: difference([], _, []). difference([A | L1], L2, L) :- member(A, L2), !, difference(L1, L2, L). difference([A | L1], L2, [A | L]) :- difference(L1, L2, L). member(X, [X | _]):- !. member(X, [_ | L]):- member(X, L). Какое решение имеет цель difference([4, 3, 2, 1], [1, 3, 5], L) ?