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

"Visual Prolog 7 边练边学" 本书是一本关于学习Visual Prolog 7的实践教程，旨在帮助读者通过实际操作来掌握这门编程语言。书中涵盖了从基础到进阶的各种主题，结合逻辑知识的讲解，使学习过程更为生动有趣。 在第一章“简介”中，作者引导读者创建第一个GUI程序，了解如何编译和运行程序，并通过简单的任务将程序的标题个性化。此外，还介绍了逻辑小知识——希腊人对逻辑的贡献，为后续的逻辑概念打下基础。 第二章“Forms”深入探讨了如何创建和操作窗体（Forms），包括创建新的窗体、启用任务菜单项以及使用CodeExpert添加程序代码。同时，介绍了亚里士多德的符号逻辑，强化逻辑思维的理解。 第三章“鼠标事件”教授读者如何处理鼠标点击事件，以及利用onPaint方法进行绘图。这部分还涵盖了布尔代数和形式论证的概念，帮助理解程序中的条件判断和逻辑操作。 第四章“基本图例”涉及了项目管理、类的创建以及控件属性的设置。通过实际操作，读者可以掌握工程组织和控件的使用。此外，还介绍了谓词运算的逻辑小知识，深化对程序逻辑的理解。 第五章“Horn语句”是Prolog的核心部分，讲解了函数、谓词、求解过程以及答案不唯一的情况。这部分详细阐述了Horn句子、声明以及绘图谓词和GDI实体，为高级编程打下坚实基础。 第六章“控制台应用”专注于非GUI编程，讲解了截断、表、字符串操作等核心概念，并引入了谓词语法的逻辑小知识，增强了对命令行程序设计的理解。 第七章“文本编辑器”指导读者创建一个简单的文本编辑器，包括文件的保存和打开功能，以及对编辑器的进一步改进，如错误处理和用户体验优化。 第八章“绘图”深入讨论了在onPaint事件中进行图形绘制的相关技巧，以及CustomControl的应用，帮助读者实现自定义的图形界面元素。 最后，第九章“数据类型”讲解了Visual Prolog 7中的原始数据类型，如整型、浮点型等，以及集合的使用，使读者能够有效地管理和操作数据。 通过本书的学习，读者不仅能掌握Visual Prolog 7的基本语法和编程技巧，还能深入了解逻辑在编程中的应用，提升编程思维能力。