BS ISO/IEC 13211-1-1995 信息技术.编程语言.Prolog语言.通用芯
作者:标准资料网
时间:2024-05-05 21:45:13
浏览:9771
来源:标准资料网
下载地址: 点击此处下载
【英文标准名称】:Informationtechnology-Programminglanguages-Prolog-Generalcore
【原文标准名称】:信息技术.编程语言.Prolog语言.通用芯
【标准号】:BSISO/IEC13211-1-1995
【标准状态】:现行
【国别】:英国
【发布日期】:1995-10-15
【实施或试行日期】:1995-10-15
【发布单位】:英国标准学会(GB-BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:高级语言;合格;句法;计算机软件;数据表示;程序设计;程序设计语言;语义学;数据处理
【英文主题词】:Artificiallanguages;Compatibility;Computersoftware;Dataprocessing;Definitions;Generalconditions;Informationexchange;Informationtechnology;Programflows;Programminginstructions;Programminglanguages;Prolog;Semantics;Syntax
【摘要】:ISO/IEC13211isdesignedtopromotetheapplicabilityandportabilityofPrologtextanddataamongavarietyofdataprocessingsystems.ThispartofISO/IEC13211specifies:a)TherepresentationofPrologtext,b)ThesyntaxandconstraintsoftheProloglanguage,c)ThesemanticrulesforinterpretingPrologtext,d)TherepresentationofinputdatatobeprocessedbyProlog,e)TherepresentationofoutputproducedbyProlog,andf)TherestrictionsandlimitsimposedonaconformingPrologprocessor.NOTE—ThispartofISO/IEC13211doesnotspecify:a)thesizeorcomplexityofPrologtextthatwillexceedthecapacityofanyspecificdataprocessingsystemorlanguageprocessor,ortheactionstobetakenwhenthecorrespondinglimitsareexceeded;b)theminimalrequirementsofadataprocessingsystemthatiscapableofsupportinganimplementationofaPrologprocessor;c)themethodsofactivatingthePrologprocessororthesetofcommandsusedtocontroltheenvironmentinwhichPrologtextispreparedforexecutionandexecuted;d)themechanismsbywhichPrologtextispreparedforusebyadataprocessingsystem;e)thetypographicalrepresentationofPrologtextpublishedforhumanreading;f)theuserenvironment(toplevelloop,debugger,librarysystem,editor,compileretc.)ofaPrologprocessor.ThispartofISO/IEC13211isintendedforusebyimplementorsandknowledgeableprogrammers,andisnotatutorial.1NotesNotesinthispartofISO/IEC13211havenoeffectonthelanguage,PrologtextorPrologprocessorsthataredefinedasconformingtothispartofISO/IEC13211.Reasonsforincludinganoteinclude;a)CrossreferencestootherclausesandsubclausesofthispartofISO/IEC13211inordertohelpreadersfindtheirwayaround,b)Warningswhenabuilt-inpredicateasdefinedinthispartofISO/IEC13211hasadifferentmeaninginsomeexistingimplementations.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:216P.;A4
【正文语种】:英语
【原文标准名称】:信息技术.编程语言.Prolog语言.通用芯
【标准号】:BSISO/IEC13211-1-1995
【标准状态】:现行
【国别】:英国
【发布日期】:1995-10-15
【实施或试行日期】:1995-10-15
【发布单位】:英国标准学会(GB-BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:高级语言;合格;句法;计算机软件;数据表示;程序设计;程序设计语言;语义学;数据处理
【英文主题词】:Artificiallanguages;Compatibility;Computersoftware;Dataprocessing;Definitions;Generalconditions;Informationexchange;Informationtechnology;Programflows;Programminginstructions;Programminglanguages;Prolog;Semantics;Syntax
【摘要】:ISO/IEC13211isdesignedtopromotetheapplicabilityandportabilityofPrologtextanddataamongavarietyofdataprocessingsystems.ThispartofISO/IEC13211specifies:a)TherepresentationofPrologtext,b)ThesyntaxandconstraintsoftheProloglanguage,c)ThesemanticrulesforinterpretingPrologtext,d)TherepresentationofinputdatatobeprocessedbyProlog,e)TherepresentationofoutputproducedbyProlog,andf)TherestrictionsandlimitsimposedonaconformingPrologprocessor.NOTE—ThispartofISO/IEC13211doesnotspecify:a)thesizeorcomplexityofPrologtextthatwillexceedthecapacityofanyspecificdataprocessingsystemorlanguageprocessor,ortheactionstobetakenwhenthecorrespondinglimitsareexceeded;b)theminimalrequirementsofadataprocessingsystemthatiscapableofsupportinganimplementationofaPrologprocessor;c)themethodsofactivatingthePrologprocessororthesetofcommandsusedtocontroltheenvironmentinwhichPrologtextispreparedforexecutionandexecuted;d)themechanismsbywhichPrologtextispreparedforusebyadataprocessingsystem;e)thetypographicalrepresentationofPrologtextpublishedforhumanreading;f)theuserenvironment(toplevelloop,debugger,librarysystem,editor,compileretc.)ofaPrologprocessor.ThispartofISO/IEC13211isintendedforusebyimplementorsandknowledgeableprogrammers,andisnotatutorial.1NotesNotesinthispartofISO/IEC13211havenoeffectonthelanguage,PrologtextorPrologprocessorsthataredefinedasconformingtothispartofISO/IEC13211.Reasonsforincludinganoteinclude;a)CrossreferencestootherclausesandsubclausesofthispartofISO/IEC13211inordertohelpreadersfindtheirwayaround,b)Warningswhenabuilt-inpredicateasdefinedinthispartofISO/IEC13211hasadifferentmeaninginsomeexistingimplementations.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:216P.;A4
【正文语种】:英语
下载地址:
点击此处下载