testRecursion1

Tests a hand-written thermostat-like theory (a mutable temp/1 fact adjusted one degree at a time via retract/1+assert/1, driven by a recursive check_temperature/0 rule) starting at 10 and converging, printing each intermediate temperature, up to the low end (18) of the target range 18..22.