VisualProlog7.3语言参考手册-乙丁译

"VisualProlog 7.3 语言手册是一个适合学习该版本的教程，由PDC在2010年发布。手册涵盖了语言的新特性，如通用接口和类、监控程序、属性等内容，并详细解释了VisualProlog的语法和语义。VisualProlog是一种基于Prolog的面向对象的强类型编程语言，程序由目标、接口、类声明和实现等组成，包含域、常数、谓词、属性和事实数据库等元素。" 在VisualProlog 7.3中，程序构造主要包括以下几个方面： 1. **目标(Goal)**: 程序的核心部分，它定义了程序要达到的目标或执行的任务。 2. **接口(Interfaces)**: 定义了对象的类型，描述了对象的行为和属性，类似于其他面向对象语言中的接口或抽象类。 3. **类声明(Class Declarations)**: 描述了对象的结构和行为，包含方法和属性的定义。 4. **类实现(Class Implementations)**: 提供了类声明的具体实现，包含了实际的代码逻辑，通常以子句的形式表示谓词。 5. **域(Domains)**: 用于定义变量的取值范围，可以是数值类型、字符串、字符类型或者复合域。 6. **常数 Constants**: 预定义的不可变值，可以在程序中多次使用。 7. **谓词(Predicates)**: 类似于函数，但更强调逻辑关系，是程序中的基本操作单元。 8. **属性(Properties)**: 类的成员，用于存储和访问对象的状态。 9. **事实数据库(Fact Databases)**: 存储静态数据，通常用于规则推理。 VisualProlog的语言特性还包括： 1. **类型和子类型(Types and Subtypes)**: 区分对象类型和值类型，前者可变，后者不可变。子类型机制提供了多态性，允许子类型对象在需要时自动转换为父类型。 2. **数值类型(Numerical Types)**, **字符串(Strings)**, **字符类型(Character Types)** 和 **复合域(Compound Domains)**: 值类型的实例，复合域允许创建复杂的代数数据类型。 3. **监控程序(Monitoring Programs)**: 可以监视和控制程序的执行，帮助调试和性能优化。 4. **通用接口(General Interfaces)**: 提供了一种标准的方式来定义和使用类，增强了代码的重用性和互操作性。 通过深入学习这个手册，开发者可以掌握如何使用VisualProlog进行面向对象编程，创建和实现类，处理不同类型的数据，编写谓词，以及利用其独特的逻辑编程特性来解决问题。此外，了解监控程序和通用接口的使用，将有助于提高软件的可维护性和适应性。对于希望扩展其编程技能，尤其是对逻辑编程感兴趣的人来说，VisualProlog 7.3语言手册是一份宝贵的资源。