- 6
- 0
- 约6.47千字
- 约 77页
- 2019-12-30 发布于广东
- 举报
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 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) alph
您可能关注的文档
- 《电话销售成功五则》教案.ppt
- 《计算机网络安全教案》第六章计算机病毒防治.ppt
- 《传播学概论》copy件分析.ppt
- 《第二章点直线平面之间位置关系》复习课知识点回顾.ppt
- 《清明上河图》课堂的演示.ppt
- 《素芭》优秀课件学习.ppt
- 《临死前严监生》教学教案解析.ppt
- 《炮兽》讲义解析.ppt
- 《政 治学基础》课件赏识.ppt
- IT项目管理教案第六章项目成本管理.ppt
- 计量规程规范 JJF 2476-2026腹膜透析机校准规范.pdf
- 《JJF 2465-2026天然气在线硫化氢气体检测仪校准规范》.pdf
- JJF 1111-2026调制度测量仪校准规范.pdf
- 《JJF 1111-2026调制度测量仪校准规范》.pdf
- 计量规程规范 JJF 2471-2026实时荧光定量聚合酶链反应核酸检测系统分析性能确认和验证技术规范.pdf
- JJF 2471-2026实时荧光定量聚合酶链反应核酸检测系统分析性能确认和验证技术规范.pdf
- 《JJF 2471-2026实时荧光定量聚合酶链反应核酸检测系统分析性能确认和验证技术规范》.pdf
- 《JJF 2470-2026食用油品质检测仪校准规范》.pdf
- JJF 2470-2026食用油品质检测仪校准规范.pdf
- 计量规程规范 JJF 2470-2026食用油品质检测仪校准规范.pdf
最近下载
- 现代光学基础(第二版)钟锡华习题答案解析.pdf
- 最新各种常见引流管的护理.ppt VIP
- 2022年福建农林大学338生物化学考研精品部分资料【第2册,共2册】.pdf VIP
- 鲁教版(新版2018)七年级信息技术上册教案汇编.pdf VIP
- Alfa Laval阿法拉伐压载水处理系统PureBallast 3 Ultra用户手册.pdf
- 2026-2027学年小学信息技术(信息科技)六年级上册鲁教版(信息科技)教学设计合集.docx
- 人教版数学五年级上册期中达标测评卷(第1-4单元)(含答案).docx VIP
- 五年级信息技术下册东西南北巧分辨课件.pptx VIP
- 六年级下册信息技术教案-第10课小狗摇尾叫汪汪 泰山版.doc VIP
- 绿色施工方案完整版.pdf VIP
原创力文档

文档评论(0)