Updated Prolog version.