Chronolog Admits a Complete Proof Procedure