 Prüfer domains can be characterized as integral domains whose localizations at all prime (equivalently, at all maximal) ideals are valuation domains.So the localization of a Bézout domain at a prime ideal is a valuation domain.Since an invertible ideal in a local ring is principal, a local ring is a Bézout domain iff it is a valuation domain.