ANSI ISO/IEC 13211-2-2000 信息技术.Prolog语言.第2部分:被INCITS采用的模块

作者:标准资料网时间:2024-05-15 20:28:16 浏览:9025 来源:标准资料网

【英文标准名称】:InformationtechnologyProgramminglanguagesPrologPart2:ModulesAdoptedbyINCITS
【原文标准名称】:信息技术.Prolog语言.第2部分:被INCITS采用的模块
【标准号】:ANSIISO/IEC13211-2-2000
【标准状态】:现行
【国别】:美国
【发布日期】:2000-06-01
【实施或试行日期】:
【发布单位】:美国国家标准学会(US-ANSI)
【起草单位】:ANSI
【标准类型】:()
【标准水平】:()
【中文主题词】:
【英文主题词】:
【摘要】:ThispartofISO/IEC13211isdesignedtopromotetheapplicabilityandportabilityofPrologmodulesthatcontainPrologtextcomplyingwiththerequirementsoftheProgrammingLanguagePrologasspecifiedinthispartofISO/IEC13211.ThispartofISO/IEC13211specifies:a)TherepresentationofPrologtextthatconstitutesaPrologmodule,b)TheconstraintsthatshallbesatisfiedtopreparePrologmodulesforexecution,andc)Therequirements,restrictionsandlimitsimposedonaconformingPrologprocessorthatprocessesmodules.
【中国标准分类号】:L74
【国际标准分类号】:
【页数】:
【正文语种】:英语

下载地址: 点击此处下载

返回跳至顶部

上一篇: ANSI ISO/IEC 14443-1-2000 识别卡.无接触点集成电路卡.感应卡.第1部分:被INCITS采用的物理特性
下一篇: ANSI ISO/IEC 13249-1-2000 信息技术.数据库语言SQL多媒体和应用程序包.第1部分:被INCITS采用的框架