commit swi-prolog