实用 Prolog 编程

This is a new chapter.