ANSI ISO/IEC 13211-1-1995 信息技术.Prolog语言.第1部分:被INCITS采纳的一般核心
作者:标准资料网 时间:2024-05-14 23:15:24 浏览:8073
来源:标准资料网
下载地址: 点击此处下载
【英文标准名称】:Informationtechnology-Programminglanguages-Prolog-Part1:GeneralcoreAdoptedbyINCITS
【原文标准名称】:信息技术.Prolog语言.第1部分:被INCITS采纳的一般核心
【标准号】:ANSIISO/IEC13211-1-1995
【标准状态】:现行
【国别】:美国
【发布日期】:1995-06-01
【实施或试行日期】:
【发布单位】:美国国家标准学会(US-ANSI)
【起草单位】:ANSI
【标准类型】:()
【标准水平】:()
【中文主题词】:
【英文主题词】:
【摘要】:ISO/IEC13211isdesignedtopromotetheapplicabilityandportabilityofPrologtextanddataamongavarietyofdataprocessingsystems.ThispartofISO/IEC13211specifies:a)TherepresentationofPrologtext,b)ThesyntaxandconstraintsoftheProloglanguage,c)ThesemanticrulesforinterpretingPrologtext,d)TherepresentationofinputdatatobeprocessedbyProlog,e)TherepresentationofoutputproducedbyProlog,andf)TherestrictionsandlimitsimposedonaconformingPrologprocessor.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:
【正文语种】:英语
【原文标准名称】:信息技术.Prolog语言.第1部分:被INCITS采纳的一般核心
【标准号】:ANSIISO/IEC13211-1-1995
【标准状态】:现行
【国别】:美国
【发布日期】:1995-06-01
【实施或试行日期】:
【发布单位】:美国国家标准学会(US-ANSI)
【起草单位】:ANSI
【标准类型】:()
【标准水平】:()
【中文主题词】:
【英文主题词】:
【摘要】:ISO/IEC13211isdesignedtopromotetheapplicabilityandportabilityofPrologtextanddataamongavarietyofdataprocessingsystems.ThispartofISO/IEC13211specifies:a)TherepresentationofPrologtext,b)ThesyntaxandconstraintsoftheProloglanguage,c)ThesemanticrulesforinterpretingPrologtext,d)TherepresentationofinputdatatobeprocessedbyProlog,e)TherepresentationofoutputproducedbyProlog,andf)TherestrictionsandlimitsimposedonaconformingPrologprocessor.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:
【正文语种】:英语
下载地址: 点击此处下载