Indicamos la implementación de búsqueda de árbol cuántico mediante ejemplos populares de la inteligencia artificial simbólica, el 3-puzzle, 8-puzzle y el mundo de bloques ABC. es un kit de desarrollo de software de código abierto (SDK) para trabajar con computadoras cuánticas a nivel de circuitos y algoritmos de IBM. Los objetos están representados por símbolos y adjetivos. Se presentan dos principios. O la descripción de la posición (adjetivo) está fija y los descriptores de clase se mueven (se cambian) o, en la interpretación inversa, el descriptor de clase está fijo y el descriptor de posición (adjetivo) se mueve (se cambia). Indicamos cómo descomponer el operador de permutación que ejecuta las reglas mediante los dos principios. Demostramos que el factor de ramificación se reduce mediante la amplificación de Grover a la raíz cuadrada del factor de ramificación promedio y no al factor de ramificación máximo como se asumía anteriormente.