Explicacion de expresion
Publicado por adrian (1 intervención) el 04/11/2008 00:31:50
Hola tengo un ejericico resuelto en prolog pero nose como interpretarlo para llegar a entenderlo, el mayor problema es una expresion que no consigo entender.. aver os copio el codigo:
tree_ltl(T,L) :- tree_ltl_d(T,L-[]).
tree_ltl_d(t(X,[]),[X|L]-L) :- X = '('.
tree_ltl_d(t(X,[T|Ts]),['(',X|L]-R) :- forest_ltl_d([T|Ts],L-[')'|R]).
forest_ltl_d([],L-L).
forest_ltl_d([T|Ts],L-R) :- tree_ltl_d(T,L-M), forest_ltl_d(Ts,M-R).
por ejemplo cuando pone en el primer predicado (T,L-[]), ese L-[] que significa?? qe es lo que hace?? e probado a borrarlo y el programa no funciona.. y tambien usa ese operador o lo que sea en los predicados siguientes como podeis ver..
aver si alguien me sabe resolver la duda.. lo agradeceria muchismo
un saludo para todos
tree_ltl(T,L) :- tree_ltl_d(T,L-[]).
tree_ltl_d(t(X,[]),[X|L]-L) :- X = '('.
tree_ltl_d(t(X,[T|Ts]),['(',X|L]-R) :- forest_ltl_d([T|Ts],L-[')'|R]).
forest_ltl_d([],L-L).
forest_ltl_d([T|Ts],L-R) :- tree_ltl_d(T,L-M), forest_ltl_d(Ts,M-R).
por ejemplo cuando pone en el primer predicado (T,L-[]), ese L-[] que significa?? qe es lo que hace?? e probado a borrarlo y el programa no funciona.. y tambien usa ese operador o lo que sea en los predicados siguientes como podeis ver..
aver si alguien me sabe resolver la duda.. lo agradeceria muchismo
un saludo para todos
Valora esta pregunta
0