prolog教程第6章