Constraint Propagation for First-Order Logic and Inductive Definitions

In Constraint Programming, constraint propagation is a basic component of constraint satisfaction solvers. Here we study constraint propagation as a basic form of inference in the context of first-...