An expert system for well-to-well log correlation