Of course, the age of the pool make a difference.
When making a "pool" adjustment, I generally take the entire pool area as one. Heated vs not, Patio (type: such as "Cool crete" compared to regular concrete, Fence (Iron vs wood vs chain link ect). Landscape
I have seen were the pool does not contribute anything or even a negitive impact on the market.
Last house I did with a pool, had the perfect setup for a pool, finished walkout basement, with bath, pool side tiki bar. On that house the adjustment was something like $30,000, but they paid almost $80,000. Great party house. The day I was there it was 95, (which really helped the value, LOL.