Lote-arbol-resolucion-Prolog.pdf