Привет всем!
пишу программу на Visual Prolog. Тема -списки.
буду благодарен за советы. 
Условие: Напишите предикат (?M,?N, ?L), истинный тогда и только тогда , когда L- список чисел, расположенных между M и N включительно (предикат должен допускать различное использование, когда не менее двух из трех аргументов конкретизированы). Указание: используйте предикаты var(+X) и nonvar(+X).
Мой алгоритм:
1. Пользователь вводит числа M, N и некий список L; 
2. если список L - нулевой, то тогда выход из программы. range(M,N,[]).
3. если список ненулевой, продолжаем....
4. сравниваем первый элемент (голову-H) списка L с числом M, если H=>M, тогда истина. 
5. сраниваем последний элемент (для этого нужно, как я понял, пройти рекурсивно весь список и найти последний элемент) с числом N, если G<=N, тогда истина. (G-последний элемент списка L)
как рекурсивно пройти весь список L  и найти последний элемент?

получается, что предикат range(M,N,L) будет истинен при условии истинности пунктов 4  и 5
range (M,N,L):-isMember(M,L), itMember(N,L).

isMember(M,L)- предикат, который проверяет пункт 4, то есть выполнено ли условие H=>M
inMember(N,L)- предикат, который проверяет пункт 5, то есть выполнено ли условие G<=N

пища для ума:

новая пища для ума