swi prolog version bump