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.

标准预览图


立即下载标准文件