Определение предикатов arc, cont и path имеет вид: arc(1, 2). arc(1, 3). arc(3, 4). arc(2, 4). cont([X | L], [Z, X | L]):- arc(X, Z), not(isMember(Z, L)). path([[Y | L] | _], Y, [Y | L]):- !. path([P | PL], Y, R):- findall(P1, cont(P, P1), L1), append(PL, L1, PL1), path(PL1, Y, R). Укажите решение для цели path([[1]], 4, P) .

Правильный ответ:

• # Программа имеет вид: female(ann). female(mary). male(tom). male(bob). Укажите порядок нахождения решений для цели male(X); female(X) 1) X = ann 2) X = mary 3) X = tom 4) X = bob
• # Определение предикатов 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 объявлен в разделе class predicates. Укажите правильное объявление:
• # Определение предиката go имеет вид: go(0). go(N):- N > 0, N1 = N - 1, go(N1), write('a'). Сколько раз будет напечатан символ 'a' в результате вызова цели go(2)?
• # Определение предиката member1 имеет вид:member1(H, [H, _ | _]). member1(H, [_, _ | T]) :- !, member1(H, T). Сколько решений имеет цель member1(X, [1, 2, 3, 4, 5])?
• # Определение предиката append имеет вид: append([], L, L). append([A | L1], L2, [A | L]) :- append(L1, L2, L). Найти предпоследний элемент списка L = [1, 2, 3, 4, 5] можно с помощью цели