prolog语言参考手册.pdf

Visual Prolog 7.3 语言参考手册 (c) 2010 Prolog Development Center A/S 乙丁 译 2010年6月 译者说明 PDC在2010年5月发表了Visual Prolog 7.3版本。比较7.2和7.3两个版本语言参考手册，新版本主要 的变化是增加了三章内容：通用接口和类、监控程序、属性，当然还有一些其它内容更改。这个译本就是 在译者上一个译本基础上根据新版本增改的内容译出的。 译者水平及精力所限，谬误一定是有的，欢迎各位读者指正。 乙丁 its2u@ 2010年6月 Visual Prolog 7.3语言参考手册 本文档描述 Visual Prolog 编程语言的语法与语义。 Visual Prolog 是面向对象的强类型编程语言，它的基础是逻辑编程语言 Prolog。 一个 Visual Prolog 程序是由一个 goal (目标)及一些： interfaces（接口） Class declarations（类声明）及 Class implementations（类实现） 构成的，它们当中包含有下面一些 Prolog 实体的声明与定义： Domains （域） Constants （常数） Predicates （谓词） Properties （属性） Fact databases （事