Resultado de la búsqueda: Constructor de tuplas, constructor de atomos, constructor de conjuntos