ISO/IEC 13211-2-2000 信息技术程序设计语言Prolog第2部分:模块
作者:标准资料网 时间:2024-05-14 05:04:30 浏览:9468
来源:标准资料网
下载地址: 点击此处下载
【英文标准名称】:Informationtechnology-Programminglanguages;Prolog-Part2:Modules
【原文标准名称】:信息技术程序设计语言Prolog第2部分:模块
【标准号】:ISO/IEC13211-2-2000
【标准状态】:现行
【国别】:国际
【发布日期】:2000-06
【实施或试行日期】:
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/IECJTC1
【标准类型】:()
【标准水平】:()
【中文主题词】:计算机软件;程序设计语言;信息交流;可混用性;程序设计指令;程序流程;信息技术;句法;定义;语义学;兼容性;人工语言;数据处理;一般条件
【英文主题词】: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.ThispartofISO/IEC13211doesnotspecify:a)ThesizeornumberofPrologmodulesthatwillexceedthecapacityofanyspecificdataprocessingsystemorlanguageprocessor,ortheactionstobetakenwhenthelimitisexceeded,b)ThemethodsofactivatingthePrologprocessororthesetofcommandsusedtocontroltheenvironmentinwhichPrologmodulesarepreparedforexecution,c)ThemechanismsbywhichPrologmodulesareloaded,d)TherelationshipbetweenPrologmodulesandtheprocessor-specificfilesystem.1NotesNotesinthispartofISO/IEC13211havenoeffectonthelanguage,Prologtext,moduletextorPrologprocessorsthataredefinedasconformingtothispartofISO/IEC13211.Reasonsforincludinganoteinclude:a)CrossreferencestootherclausesandsubclausesofthispartofISO/IEC13211inordertohelpreadersfindtheirwayaround,b)Warningswhenabuilt-inpredicateasdefinedinthispartofISO/IEC13211hasadifferentmeaninginsomeexistingimplementations.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:23P;A4
【正文语种】:英语
【原文标准名称】:信息技术程序设计语言Prolog第2部分:模块
【标准号】:ISO/IEC13211-2-2000
【标准状态】:现行
【国别】:国际
【发布日期】:2000-06
【实施或试行日期】:
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/IECJTC1
【标准类型】:()
【标准水平】:()
【中文主题词】:计算机软件;程序设计语言;信息交流;可混用性;程序设计指令;程序流程;信息技术;句法;定义;语义学;兼容性;人工语言;数据处理;一般条件
【英文主题词】: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.ThispartofISO/IEC13211doesnotspecify:a)ThesizeornumberofPrologmodulesthatwillexceedthecapacityofanyspecificdataprocessingsystemorlanguageprocessor,ortheactionstobetakenwhenthelimitisexceeded,b)ThemethodsofactivatingthePrologprocessororthesetofcommandsusedtocontroltheenvironmentinwhichPrologmodulesarepreparedforexecution,c)ThemechanismsbywhichPrologmodulesareloaded,d)TherelationshipbetweenPrologmodulesandtheprocessor-specificfilesystem.1NotesNotesinthispartofISO/IEC13211havenoeffectonthelanguage,Prologtext,moduletextorPrologprocessorsthataredefinedasconformingtothispartofISO/IEC13211.Reasonsforincludinganoteinclude:a)CrossreferencestootherclausesandsubclausesofthispartofISO/IEC13211inordertohelpreadersfindtheirwayaround,b)Warningswhenabuilt-inpredicateasdefinedinthispartofISO/IEC13211hasadifferentmeaninginsomeexistingimplementations.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:23P;A4
【正文语种】:英语
下载地址: 点击此处下载