Contracts feature in Prolog Manager and Prolog Converge