Prolog - Explicacion de expresion

   
Vista:

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
Valora esta pregunta
Me gusta: Está pregunta es útil y esta claraNo me gusta: Está pregunta no esta clara o no es útil
0
Responder
información
Otras secciones de LWP con contenido de Prolog
- Código fuente de Prolog
- Cursos de Prolog
- Temas de Prolog
información
Códigos de Prolog
- Tateti o tres en ralla
- Resolver Sudokus
- Ejercicios resueltos