安电 friend john,Y)中大营 论 friend(john,x)学 安电 学出版 likes(X, reading) likes(X, music) 安电子 likes(X, music) likes(X, sports) likes(bell, sports) likes(mary, music) 安电子数大学出版画安电数大营版没 likes(mary, sports)
2.2 Tur bo prol0G程序设计 2.2.1程序结构 /*〈注释 水 〈编译指令〉 constants 〈常量说明〉蕌 domains晶 〈域说明〉蕌 database蕌 〈数据库说明〉 predicates 〈谓词说明〉蕌 goa晶 日标语句〉蕌 causes 〈子句集
2.2 Turbo PROLOG程序设计 2.2.1 程序结构 /* 〈 注 释〉 */ 〈编译指令〉 constants 〈常量说明〉 domains 〈域说明〉 database 〈数据库说明〉 predicates 〈谓词说明〉 goal 〈目标语句〉 clauses 〈子句集〉
例如果把上节的例子程序作为 Turbo prolog程序,则应改 写为: DOMAINS蕌 name= symbol蕌 PREDICATES蕌 likes(name,name).蕌 friend(name,name)蕌 GOAL蕌 friend(john, Y), write(Y ClAUSES likes(bell, sports).e likes(mary, musIc).蕌 likes(mary, sports). tE likes(jane, smith).蕌 friend(john, X): -likes(X, sports), likes(X, music).tf friend (john, X) -likes(X, reading), likes(X, music)
例 如果把上节的例子程序作为Turbo PROLOG程序, 则应改 写为： DOMAINS name=symbol PREDICATES likes(name,name). friend(name,name) GOAL friend(john,Y), write(″Y=″ , Y). CLAUSES likes(bell,sports). likes(mary,music). likes(mary,sports). likes(jane,smith). friend(john,X):-likes(X,sports),likes(X,music). friend(john,X):-likes(X,reading),likes(X,music)
领域段该段说明程序谓词中所有参量项所属的领域。 Turbo prol0G的标准领域包括整数、实数、符号、串和符 等,其具体说明如下表所示。 领域名称标识符 取值范围 例子 整数 Integer 32768~-32767, 实数 re ±1E-307~士1E+308 字符 chi ar 用单引号括住的所有可能的字符 a',"b,3′,'(',# 用一对双引号括住的任意字符序列。程序 串srig.中的串最长可达25个字符,而文件中的最 abc","789″," Turbo", 长可为64k prog-11 ①以小写字母打头的字母、数字和下划 符号 symbol线序列 prolog programing"name, age, addressstr-check_a 串
领域段 该段说明程序谓词中所有参量项所属的领域。 Turbo PROLOG的标准领域包括整数、实数、符号、串和符 号等, 其具体说明如下表所示