added ConGolog constructs (not tested yet)