Пролог логика и вырезать
У меня есть некоторые проблемы с пониманием потока пролога. вот код:
h(X):- 1 is X mod 2, write(X), nl, 0 is X mod 3, !, fail.
h(_).
t(_,[],0).
t(M,[_|LS],1):-member(M,LS),write('member'), nl,fail.
t(_,[H|_],H).
r([X|LS],R):-h(X), M is 2*X+1,t(M, LS, R), write(R), nl, fail.
сейчас я бегу 3 вещи: 1. r([3,7,9],R). 2. r([5,11,13],R). 3. r([2,3,5],R). и я не могу понять ответы, которые я получаю. Ответы: 1. 3 ложных. 2. 5 11 ложь. 3. участник 3 ложный.
надеюсь на помощь!