Logic programming that computational steps cannot be logically deduced. However, in concurrent logic programming, any result of a terminating computation is a logical consequence of the program, and any partial result of a partial computation is a logical consequence of the program and the residual goal (process network). Consequently, the indeterminacy of computations implies that not all logical consequences of the program can be deduced. Concurrent constraint logic programming combines concurrent logic programming and constraint logic programming, using constraints to control concurrency. A clause can contain a guard, which is a set of constraints that may block the applicability of the clause.
Is Logic Empirical? Is Logic Empirical? "Is Logic Empirical?" is the title of two articles (one by Hilary Putnam and another by Michael Dummett) that discuss the idea that the algebraic properties of logic may, or should, be empirically determined; in particular, they deal with the question of whether empirical facts about quantum phenomena may provide grounds for revising classical logic as a consistent logical rendering of reality. The replacement derives from the work of Garrett Birkhoff and John von Neumann on quantum logic. In their work, they showed that the outcomes of quantum measurements can be represented as binary propositions and that