ISO/IEC 13211-1:1995
信息技术 程序设计语言 Prolog 第1部分:通用内核
Information technology - Programming languages - Prolog - Part 1: General core
- 标准号
- ISO/IEC 13211-1:1995
- 发布
- 1995年
- 发布单位
- 国际标准化组织
- 替代标准
- ISO/IEC 13211-1:1995/Cor 1:2007
- 当前最新
- ISO/IEC 13211-1:1995/Cor 3:2017
- 适用范围
- 旨在促进Prolog文本和数据在各种数据处理系统之间的适用性和可移植性。 指定：Prolog 文本的表示； Prolog 语言的语法和约束；解释 Prolog 文本的语义规则； Prolog 处理的输入数据的表示； Prolog 产生的输出的表示以及对符合的 Prolog 处理器施加的限制和限制。