Prolog语言在采矿方法选择设计中应用的研究