friendgjohn, Y) 论 friend(john,x)学 安电 学出版 likes(X, reading) likes(X, 安电子 likes(x, music) likes(X, sports)//music) likes(bell, sports) likes(mary, music 安电子数大学出版画安电数大营版没 likes(mary, sports)
2.2 Turbo Pr0L0G程序设计 2.2.1程序结构 水 汪王 释〉*/蕌 〈编译指令〉蕌 constants 〈常量说明〉蕌 domainS晶 〈域说明〉 atabase爱”晶 da 〈数据厍说明〉 predicates量 〈谓词说明〉蕌 goals 〈目标语句〉蕌 clauses 〈子句集〉
例如果把上节的例子程序作为 Turbo PROlo0G程序,则应改 写为: DOMAINS蕌 nane= symbol蕌 PREDICATES蕌 likes(nane, naIme).蕌 friend(name,name)蕌 GOAL蕌 friend (john, Y), write("Y=",Y).tr CLAUSES likes(bell, sports).tr likes(mary, ImusIc).晶 likes(mary, sports). It likes(jane, smith).蕌 friend (john, X): -likes(X, sports), likes(X, music).It friend (john, X): -likes(X, reading), likes (X, music
领域段该段说明程序谓词中所有参量项所属的领域。 Turbo PROL0G的标准领域包括整数、实数、符号、串和符 号等,其具体说明如下表所示。 领域名称标识符 取值范围 例子 整数 Integer 32768~-32767 实数 rea ±E-307~±1E+308 字符char用单引号括住的所有可能的字符 a',"b',3′,(,#′ 用一对双引号括住的任意字符序列。程序 "abc, 789", "Turbo 串 string.中的串最长可达25个字符,而文件中的最 长可为64k Mprog-11 ①以小写宇母打头的字母、数字和下划 符号 mbol线序列 prolog programing"name, age, addressstr-check-a ②串