通过Prolog介绍逻辑编程 The chapters of this book can be grouped into four parts, each developing different themes from the theory, application and implementation of logic pr