用Prolog语言实现的动物识别系统,有源程序