UTNianos

Versión completa: AYUDA con TP de Paradigmas Prolog
Actualmente estas viendo una versión simplificada de nuestro contenido. Ver la versión completa con el formato correcto.
Hola. Tenemos un problema con uno de los puntos del TP de Paradigmas, damos muchas vueltas y no conseguimos resolverlo.

El punto dice lo siguiente: "p6/2 Dada una lista de tipos de archivos, retornar una lista de nombres de ransomware (sin repetir) que pueden ser distribuidos por esos tipos de archivos. NO debe usar findall".

Estos son nuestros hechos:

ransomware(1,'Grandcrab',78.5,fecha(10,1,2020),[enero,febrero,marzo,abril]).
ransomware(2,'Babuk',7.61,fecha(5,7,2020),[julio,agosto]).
ransomware(3,'Cerber',3.11,fecha(20,1,2020),[enero,febrero,diciembre]).
ransomware(4,'Matsnu',2.63,fecha(3,4,2020),[abril,octubre]).
ransomware(5,'Wannacry',2.41,fecha(29,6,2020),[junio,septiembre]).
ransomware(6,'Congur',1.52,fecha(5,7,2020),[julio]).
ransomware(7,'Locky',1.29,fecha(12,5,2020),[mayo,diciembre]).
ransomware(8,'Teslacrypt',1.12,fecha(4,11,2020),[noviembre,diciembre]).
ransomware(9,'Rkor',1.11,fecha(10,3,2020),[marzo,mayo]).
ransomware(10,'Reveton',0.70,fecha(29,8,2020),[agosto]).

%tipo de archivos
archivo(1,'Pe').
archivo(2,'Android').
archivo(3,'Dll').
archivo(4,'Gzip').
archivo(5,'Javascript').

%Troyanos
troyano('Emotet',true,1,[2,3,4]).
troyano('Ezbot',false,3,[6,1,10,2]).
troyano('Edridex',false,5,[9,5,3]).
troyano('Egozi',true,4,[7,10,4]).
troyano('Edanabot',true,2,[8,1,5]).

Alguna forma de cómo hacerlo. Se agradece la ayuda.
URLs de referencia