Visual Prolog 7 教程：从入门到实践

"Visual Prolog 7 边练边学.pdf" 是一本针对初学者的逻辑编程语言Prolog的学习教程，特别关注Visual Prolog 7的实践应用。这本书通过逐步指导，帮助读者理解和掌握Prolog的基本概念和在GUI程序开发中的运用。 在第一章“简介”中，作者引导读者创建第一个GUI程序，讲解如何编译和运行程序，并提供了一个简单的任务，如改变程序的显示标题。此外，还介绍了古希腊人对逻辑的贡献，为后续的逻辑基础做了铺垫。 第二章“Forms”深入介绍了如何创建和管理窗体（Forms），包括创建新窗体、设置任务菜单项以及使用CodeExpert添加程序代码。同时，本章也探讨了亚里士多德的符号逻辑。 第三章“鼠标事件”讲解了如何处理鼠标点击事件，利用onPaint方法进行绘图，并对布尔代数进行了简要介绍，帮助理解逻辑运算。 第四章“基本图例”涵盖了任务菜单、目录树、工程项目创建、类的创建、控件属性设置等内容，同时讲解了谓词运算，这是Prolog的核心部分。 第五章“Horn语句”是关于Prolog语法的关键章节，详细阐述了函数、谓词、求解过程以及Horn子句的使用，还讨论了GDI实体和绘图谓词，为程序的图形界面设计打下基础。 第六章“控制台应用”介绍了如何在没有图形界面的环境下使用Prolog，涉及截断、表操作、字符串操作等，同时对谓词的语法进行了深入探讨。 第七章“文本编辑器”指导读者创建一个简单的文本编辑器程序，涵盖文件的保存与打开，以及编辑器功能的扩展。 第八章“绘图”进一步讨论了在Prolog中进行图形绘制的方法，包括onPainting的相关话题和CustomControl的使用。 第九章“数据类型”则讲解了Prolog中的原始数据类型，如整型、浮点型等，以及集合的使用。 总体而言，这本书提供了丰富的实践练习和理论知识，旨在帮助初学者逐步掌握Visual Prolog 7，通过编写实际应用程序来学习Prolog的逻辑编程思想和语法。