ISO/IEC 13211-1:1995 信息技术 程序语言 序言 第一部分:一般主储存器.
标准编号:ISO/IEC 13211-1:1995
中文名称:信息技术 程序语言 序言 第一部分:一般主储存器.
英文名称:Information technology — Programming languages — Prolog — Part 1: General core
发布日期:1995-06
标准范围
旨在提高Prolog文本和数据在各种数据处理系统中的适用性和可移植性。指定:Prolog文本的表示形式;Prolog语言的语法和限制;解释Prolog文本的语义规则;Prolog将要处理的输入数据的表示;Prolog产生的输出的表示,以及对符合要求的Prolog处理器施加的限制和限制。
Designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. Specifies: the representation of Prolog text; the syntax and constraints of the Prolog language; the semantic rules for interpreting Prolog text; the representation of input data to be processed by Prolog; the representation of output produced by Prolog and the restrictions and limits imposed on a conforming Prolog processor.
标准预览图


