第2章逻辑程序设计语言 21基本 PROLOG 2.1.1PROL0G的语句 事实(fact) 格式[HTSS]〈谓词名〉(〈项表〉) 其中谓词名是以小写英文字母打头的字母、数字、下 划线等组成的字符串,项表是以逗号隔开的项序列。 PROLOG 中的项包括由常量或变量表示的简单对象以及函数、结构和 表等,即事实的形式是一个原子谓词公式。第 2 章 逻辑程序设计语言 2.1 基本PROLOG 2.1.1 PROLOG的语句 1. 事实(fact) 格式[HTSS] 〈谓词名〉(〈项表〉). 其中谓词名是以小写英文字母打头的字母、 数字、 下 划线等组成的字符串, 项表是以逗号隔开的项序列。 PROLOG 中的项包括由常量或变量表示的简单对象以及函数、 结构和 表等, 即事实的形式是一个原子谓词公式