开发票 会员介绍
购物车 400-168-0010

标准详细信息 去购物车结算

【国外标准】 Information technology - Prolog Language Standard - Part 1: General Core

本网站 发布时间： 2024-08-08
开通会员免费在线看70000余条国内标准，赠送文本下载次数，单本最低仅合13.3元！还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权！   查看详情>>
标准简介标准简介

适用范围：

Specifies: a) The representation of Prolog text, b) The syntax and constraints of the Prolog language, c) The semantic rules for interpreting Prolog text, d) the representation of input data to be processed by Prolog, e) The representation of output produced by Prolog, and f) The restrictions and limits imposed on a conforming Prolog processor.

基本信息

  • 标准号：

    INCITS/ISO/IEC 13211-1:1995 (R2022)

  • 标准名称：

    Information technology - Prolog Language Standard - Part 1: General Core

  • 英文名称：

    Information technology - Prolog Language Standard - Part 1: General Core

  • 标准状态：

    现行

  • 发布日期：

  • 实施日期：

  • 出版语种：

标准分类号

  • 标准ICS号：

  • 中标分类号：

关联标准

  • 替代以下标准：

  • 被以下标准替代：

  • 引用标准：

  • 采用标准：

出版信息

  • 页数：

  • 字数：

  • 开本：

其他信息

  • 起草人：

  • 起草单位：

  • 归口单位：

  • 提出部门：

  • 发布部门：

  • 其它标准
  • 推荐标准

经营许可证编号 京ICP备16035570号-4 版权所有 侵权必究