GOLDFINDER: a knowledge-based system for mineral prospecting