:- dynamic installed/1.
installed(http).
installed(express).
installed(aws-sdk).
installed(sync).
installed(apache).

depends(express,http).
depends(express, sync).
depends(http,apache).
depends(http,tcp).

% regla base para ver la dependencia
deep_dependency(X,Y):- depends(X,Y).

% regla recursiva para ver que a depende de c
% si a depende de b y b depende de a
deep_dependency(X,Y):- depends(X,Z),
                deep_dependency(Z,Y).

% mira si la instalación esta correctamente instalada
correct_install(X,Y):- installed(X), not(missing_installation(X,Y)).


missing_installation(X,Y):- deep_dependency(X,Y), not(installed(Y)).

install(X):- findall(Y, missing_installation(X,Y), Z),
            forall(member(M, Z), asserta(installed(M))).