信息技术 程序设计语言 Prolog 第1部分:通用内核

[中文适用范围]： 旨在促进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.