Сравнение двух списков
 

Здравствуйте, помогите, пожалуйста с задачкой - нужно убедиться, что первый список меньше второго на 1 элемент..
как я понимаю факт(выход из рекурсии) будет примерно таким(на VP 5.01):
len([],[A]).

А вот правило записать не получается для получении рекурсии..
Помогите, пожалуйста.Очень надеюсь на вашу помощь.

без рекурсии:
main([X|Xs],[H|Hs]):-
lenght([X|Xs],N),
lenght([H|Hs],M),
N=M.
с рекурсией:
main([X|Xs],[H|Hs]):-
proc1([X|Xs],[H|Hs],0,0).

proc1([X|Xs],[H|Hs],I1,I2):-
proc1(Xs,Hs,I1+1,I2+1).
proc1([],[],I1,I2):-I1=I2.

МаринН, Вы чего то не того понаписали. Я бы сделал так:
[PROLOG]main([_|X],[_|Y]):-!,main(X,Y).
main([],[_]).[/PROLOG]

а да не то
я что-то забылась
это на сравнение одинаковой длинны я написала

Спасибо за помощь