Assertion Programming

Using Logical Programming to find variables and then giving them values via assertions against cases. Consult Logic Programming with CPS