The name is not so bad as you two think. The act of measurement of a quantum state can be thought of as a filtering procedure after which a normalization operat

The name is not so bad as you two think. The act of measurement of a quantum state can be thought of as a filtering procedure after which a normalization operation is applied. This is the same protocol that occurs when conditioning on an observation in regular probability. If you take away normalization and stop propagating weights, that same operation corresponds to applied constraints or guards, which trigger backtracking operations, in logic programs for example. This algorithm is actually an instance of constraint propagation: https://en.wikipedia.org/wiki/Local_consistency https://en.wikipedia.org/wiki/Local_consistency and constraint satisfaction algorithms generally, that find use in say, computing graph homomorphisms.