в worde построить дерево вывода.задача решена на prologe 5.2

[Kalinak]

/****************LISTS************** *****/
DOMAINS
x=integer
l_x=x*

PREDICATES
segment(x,l_x)
generate(x,x,l_x)


CLAUSES
generate(N,N,[N]).
generate(M,N,[M|T]):-
M<N,
M1=M+1,
generate(M1,N,T).


segment(N,L):-
generate(0,N,L).



goal
%segment(2,[0,1,2]).
segment(4,L).

[rrrFer]

Что-то мне подсказывает, что вы и не пытались построить его самостоятельно.
В чем тогда будет помощь?

[Kalinak]

не совсем уверена в том что мое построение - верное. Хотелось бы посмотреть на новые идеи построения. Буду очень признательна если вы поделитесь своей идеей.