【英文标准名称】:Informationtechnology-Programminglanguages-Prolog-Part1:Generalcore
【原文标准名称】:信息技术程序设计语言Prolog第1部分:通用内核
【标准号】:ISO/IEC13211-1-1995
【标准状态】:现行
【国别】:国际
【发布日期】:1995-06
【实施或试行日期】:
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/IECJTC1
【标准类型】:()
【标准水平】:()
【中文主题词】:语义学;兼容性;计算机软件;句法;程序流程;程序设计语言;程序设计指令;信息交流;信息技术;一般条件;数据处理;人工语言;定义
【英文主题词】:Artificiallanguages;Compatibility;Computersoftware;Dataprocessing;Definition;Definitions;Generalconditions;Informationexchange;Informationtechnology;Programflows;Programminginstructions;Programminglanguages;Prolog;Semantics;Syntax
【摘要】:DesignedtopromotetheapplicabilityandportabilityofPrologtextanddataamongavarietyofdataprocessingsystems.Specifies:therepresentationofPrologtext;thesyntaxandconstraintsoftheProloglanguage;thesemanticrulesforinterpretingPrologtext;therepresentationofinputdatatobeprocessedbyProlog;therepresentationofoutputproducedbyPrologandtherestrictionsandlimitsimposedonaconformingPrologprocessor.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:199P.;A4
【正文语种】:英语