Update libros.prolog