适用于具有一定编程经验甚至可能已经在Prolog中编写了一些程序的本科生。不需要任何形式的命题或谓词逻辑知识。