標(biāo)準(zhǔn)號：ANSI ISO/IEC 13211-1-1995
中文標(biāo)準(zhǔn)名稱：信息技術(shù).Prolog語言.第1部分:被INCITS采納的一般核心
英文標(biāo)準(zhǔn)名稱：Information technology - Programming languages - Prolog - Part 1: General core Adopted by INCITS
標(biāo)準(zhǔn)類型：L74
發(fā)布日期：1995/12/1 12:00:00
實(shí)施日期：1999/12/5 12:00:00
中國標(biāo)準(zhǔn)分類號：L74
國際標(biāo)準(zhǔn)分類號：35.060
適用范圍：ISO/IEC 13211 is designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. This part of ISO/IEC 13211 specifies: a) The representation of Prolog text, b) The syntax and constraints of the Prolog language, c) The semantic rules for interpreting Prolog text, d) The representation of input data to be processed by Prolog, e) The representation of output produced by Prolog, and f) The restrictions and limits imposed on a conforming Prolog processor.