commiting prolog