论文标题
绘制Prolog搜索树：逻辑编程的教师和学生的手册
Drawing Prolog Search Trees: A Manual for Teachers and Students of Logic Programming
论文作者
论文摘要
对于习惯于程序编码的程序员来说，序言中的编程很难。在本手册中，引入了绘制搜索树的方法，目的是更好地了解Prolog的工作原理。在给出了Prolog数据库，查询和搜索树的第一个示例之后，系统地引入了绘制搜索树的艺术，以提供有关具有变量，连词，分离和否定的查询指南。通过给出完整的搜索树提供了进一步的示例，这些搜索树现在在Learn Prolog中显示！
Programming in Prolog is hard for programmers that are used to procedural coding. In this manual the method of drawing search trees is introduced with the aim to get a better understanding of how Prolog works. After giving a first example of a Prolog database, query and search tree, the art of drawing search trees is systematically introduced giving guidelines for queries with variables, conjunction, disjunction, and negation. Further examples are provided by giving the complete search trees that are shown in Learn Prolog Now!
