Определение предиката reverse имеет вид:reverse([], L, L). reverse([A | L1], L2, L) :- reverse(L1, [A | L2], L). В результате вызова reverse([1, 2], [3], L) переменная L примет значение

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

• # Программа имеет вид: parent(bob, peter). parent(ann, peter). parent(peter, mary). Напишите значение, которое примет переменная X при вызове parent(X, mary)?
• # Программа имеет вид: parent(bob, X):- parent(ann, X). parent(ann, peter). parent(peter, mary). Сколько решений имеет цель parent(X, peter)?
• # Определение отношения father (отец) имеет вид: father(peter, tom). father(tom, bob). Отношение grandfather (дедушка) можно определить следующим образом:
• # Определение предиката digit имеет вид:digit(0). digit(1).В каком порядке будут найдены решения для цели digit(X), digit(Y)? X = 0, Y = 0X = 1, Y = 1X = 0, Y = 1X = 1, Y = 0
• # Определение предиката select имеет вид: select(A, [A | L], L). select(A, [B | L], [B | L1]):- select(A, L, L1). Сколько решений имеет цель select(0, L, [1, 2, 3]) ?