%%%************************************************************************
%%% INTELIGENCIA ARTIFICIAL II.                                 CURSO 01-02
%%% EXAMEN PRÁCTICO                                     Árboles de decisión
%%%************************************************************************

%%%************************************************************************
%% Se pide, dada la relación:
%% 
%% asociado(E, Arbol) :- Arbol es un árbol de decisión asociado a E.
%% 
%% Buscar las combinaciones de Atributos y Valores que hacen verdadero un
%% objeto por el árbol de decisión asociado al mismo.
%% 
%% Para ello definir la siguiente relación:
%%
%% combinaciones(+E, ?L) :- L es una lista de listas. Cada una de dichas
%%     listas representa a un conjunto de pares de Atributos y Valores que
%%     hacen verdadero el objeto E por su árbol de decisión asociado. En
%%     caso de no existir ninguna combinación que haga verdadero E debe
%%     devolver el símbolo fallo.
%%%************************************************************************

%%% SOLUCIÓN:









%%%************************************************************************
%% EJEMPLO:
%%
%% (Nota: El siguiente ejemplo puede tomarse como referencia para comprobar
%% el ejercicio, pero no es el único posible).
%%
%% Dadas las siguientes asociaciones de objetos y árboles:
%%
%% asociado(e1, ad(si(a1=verdadero),
%% 		entonces(ad(si(a2=verdadero),
%% 			    entonces(verdadero), si_no(falso))),
%% 		si_no(ad(si(a3=verdadero),
%% 			 entonces(falso), si_no(verdadero))))).
%%
%% asociado(e2, ad(si(a3=falso),
%% 		entonces(ad(si(a1=verdadero),
%% 			    entonces(verdadero), si_no(falso))),
%% 		si_no(verdadero))).
%%
%% asociado(e3, falso).
%%
%% Sesión:
%%
%% ?- combinaciones(e1, L).
%%
%% L = [[a1=verdadero, a2=verdadero], [a1=falso, a3=falso]] 
%%
%% Yes
%% ?- combinaciones(e2, L).
%%
%% L = [[a3=falso, a1=verdadero], [a3=verdadero]] 
%%
%% Yes
%% ?- combinaciones(e3, L).
%%
%% L = fallo 
%%
%% Yes
%%%************************************************************************
