Определение предиката member имеет вид:member(H, [H | _]). member(H, [_ | T]) :- member(H, T). Сколько решений имеет цель member(X, [2, 3, 4, 5])?

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

• # Программа имеет вид: likes(mary, books). likes(bob, mary). likes(bob, books). Напишите решение, которое имеет цель likes(X, mary):
• # Выберите из списка терм и соответствующий ему домен: t(1, t(2, empty, empty), empty) t(nil, 1, t(nil, 2, nil))tree = t(integer, tree*).bintree{Elem} = t(bintree{Elem}, Elem, bintree{Elem}); nil.
• # Объявление домена, который можно использовать в других модулях, пишется:
• # Отсечение в запросе используется для того, чтобы запретить поиск альтернативных решений для подцелей, расположенных
• # Программа имеет вид: male(tom). male(bob). Отсечение в запросе male(X), !, male (Y)