- 2
- 0
- 约6.02千字
- 约 77页
- 2019-10-20 发布于广东
- 举报
string: 用双引号括起来的字符序列 例:“I am from Nanjing” symbol:有两种形式: 以小写字母开头的字母、数字和下划线组成的序列 用双引号括起来的字符串序列 Prolog中表示成下列形式: integerlist = integer * “integer” 说明表中元素的类型 “* ” 告诉编译系统,这是一张表 表: 例 domains title , author = symbol pages = integer 注:每一个说明的最后无句号 “ . ” 谓词段(predicates) 说明用户自己定义的谓词 说明谓词变元的域 谓词名: 由小写字母开头,由字母、数字和下划线组成(标识符原子) 谓词变元的类型 标准域 域段中说明的其它域 例: domains person = symbol predicates father(person) 或者 father(symbol) alphabet_position(char, integer) 谓词后面无句号 “ . ” 子句段(clauses) 由事实与规则组成 说明: 每一个事实或规则后面必须有句号“ . ” 例: clauses likes(tom, football). c
原创力文档

文档评论(0)