ANSI/INCITS/ISO/IEC 13211-2-2000 信息技术.程序设计语言.PROLOG.第2部分:模块

作者:标准资料网时间:2024-05-05 18:28:56 浏览:9139 来源:标准资料网

【英文标准名称】:InformationTechnology-ProgrammingLanguages-Prolog-Part2:Modules
【原文标准名称】:信息技术.程序设计语言.PROLOG.第2部分:模块
【标准号】:ANSI/INCITS/ISO/IEC13211-2-2000
【标准状态】:现行
【国别】:美国
【发布日期】:2000
【实施或试行日期】:
【发布单位】:美国国家标准学会(US-ANSI)
【起草单位】:ANSI
【标准类型】:()
【标准水平】:()
【中文主题词】:程序设计语言;数据处理;信息技术
【英文主题词】:Artificiallanguages;Compatibility;Computersoftware;Dataprocessing;Definition;Definitions;Generalconditions;Informationexchange;Informationtechnology;Programflows;Programminginstructions;Programminglanguages;Semantics;Syntax
【摘要】:ThispartofISO/IEC13211isdesignedtopromotetheapplicabilityandportabilityofPrologmodulesthatcontainPrologtextcomplyingwiththerequirementsoftheProgrammingLanguagePrologasspecifiedinthispartofISO/IEC13211.ThispartofISO/IEC13211specifies:a)TherepresentationofPrologtextthatconstitutesaPrologmodule,b)TheconstraintsthatshallbesatisfiedtopreparePrologmodulesforexecution,andc)Therequirements,restrictionsandlimitsimposedonaconformingPrologprocessorthatprocessesmodules.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:
【正文语种】:英语

下载地址: 点击此处下载

返回跳至顶部

上一篇: ANSI/INCITS/ISO/IEC 13818-6AMD 2-2000 信息技术.活动图像和有关音频信息的通用编码.第6部分:对DSM-CC的扩充(支持同步下载业务,机会数据业务和广播及交互式业务中的自由说明的补充部分)
下一篇: ANSI/TIA/EIA-136-320-2000 TDMA蜂窝/PCS.无线电链接协议2

标准名称：	滚动轴承包装木箱技术条件
中标分类：	机械 >> 通用零部件 >> 滚动轴承
替代情况：	被JB/T 3016-91代替
发布日期：
实施日期：	1995-01-01
首发日期：
作废日期：
出版日期：