more recent prolog version