人工智能----用Prolog语言完成8数码问题的程序