пошаговое выполнение

[Kalinak]

как можно проследить пошаговое выполнение задачи, для построения дерева вывода?
(prolog 5.2)

/****************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]

для построения дерево вывода вообще ненужно прослеживать пошаговое выполнение. Но чтобы проследить - можешь использовать соответствующую кнопку Step в visual prolog (твой код в VIP запуститься должен), и в turbo тоже кнопка похожая была.
В SWI работает предикат trace и notrace, может быть и в turbo их вставить надо - незнаю (непробовал)