Constraint Propagation for First-Order Logic and Inductive Definitions

Johan Wittocx, Marc Denecker, Maurice Bruynooghe

Constraint propagation is one of the basic forms of inference in many logic-based reasoning systems. In this paper, we investigate constraint propagation for first-order logic (FO)…