El caso proposicional simplificado en el cual un programa lógico a un nivel superior de reducción atómica no contiene variables compuestas es un razonamiento que determina un árbol lógico, el cual constituye un espacio de búsqueda para resolver el problema.