archivo para el subtema algoritmo rete