美利体育登录入口官网:ISO/IEC 13211-1:1995/Cor 1:2007
信息技术.程序设计语言.人工智能语言.第1部分:通用芯.技术勘误1
Information technology - Programming languages - Prolog - Part 1: General core; Technical Corrigendum 1
- 标准号
- ISO/IEC 13211-1:1995/Cor 1:2007
- 发布
- 2007年
- 国际标准分类(ICS)
- 35.060 信息技术用语言
- 总页数
- 5页
- 发布单位
- 国际标准化组织
- 替代标准
- ISO/IEC 13211-1:1995/Cor 2:2012
- 当前最新
- ISO/IEC 13211-1:1995/Cor 3:2017
- 本体
- 映射
- 适用范围
- 该标准是信息技术-编程语言-Prolog-第1部分：通用核心；技术勘误1。
| 术语 | 描述 |
|---|---|
| 映射 mapping | 一个从类型 T 的值到类型 R 的值的函数，记作 T -> R |
| 最一般统一 most general unifier (MGU) | 用于统一两个项的最一般的替换，此处将原文中的'实例'修正为'示例'以符合 3.95 的定义 |
| 半列表 partial list | Prolog 中的一种列表结构，包含未完全展开的尾部 |
| 读项 read-term | 从输入流中读取并解析为 Prolog 术语的过程 |
| 公理 Axiom | 关于非负平方根的数学定义规则，当 x 大于等于 0 时，根号为非负平方根，否则为未定义 |
| 双引号列表表示法 double quoted list notation | 在 Prolog 中表示原子的列表形式，其优先级取决于 double_quotes 标志的值（atom, chars, code） |
| 执行栈 execution stack | Prolog 解释器在控制构造执行前后用于记录调用状态的栈结构 |
美利体育登录入口官网: ISO/IEC 13211-1:1995/Cor 1:2007相似标准
CSA ISO/IEC 1539-1-05-CAN/CSA CORR 1:2007 信息技术.程序设计语言.Fortran语言.第1部分:基础语言.技术勘误表1
CSA ISO/IEC 13211-1-97-CAN/CSA CORR 1:2008 信息技术.程序设计语言.Prolog语言.第1部分:通用核心.技术勘误表1
ISO/IEC 1539:1991/Cor 1:1994 信息技术.程序设计语言.FROTRAN.第1部分:基本语言.技术勘误1
ISO/IEC 1539-1:1997/Cor 1:2001 信息技术.程序设计语言.FROTRAN.第1部分:基本语言.技术勘误1
ISO/IEC 1539-1:2004/Cor 2:2007 信息技术.程序设计语言.Fortran语言.第1部分:基本语言.技术勘误2