Logic programming as quantum measurement

We juxtapose (quantum theorem) proving versus quantum (theorem proving). The logical content of verification of statements concerning quantum systems is outlined. The Zittereingang (trembling input) principle is introduced to enhance the resolution of the predicate satisfiability problem provided the processor is in a position to perform operations with continuous input. A realization of a Zittereingang machine by a quantum system is suggested.