ANSI/INCITS/ISO/IEC 13211-1-1995 信息技术.PROLOG语言.第1部分:主要核心内容

百检网 2021-08-02
标准号:ANSI/INCITS/ISO/IEC 13211-1-1995
中文标准名称:信息技术.PROLOG语言.第1部分:主要核心内容
英文标准名称:Information Technology - Prolog Language Part 1: General Core
标准类型:L74
发布日期:1999/12/31 12:00:00
实施日期:1999/12/31 12:00:00
中国标准分类号:L74
国际标准分类号:35.060
适用范围:ISO/IEC 13211 is designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. This part of ISO/IEC 13211 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.

百检能给您带来哪些改变?

1、检测行业全覆盖,满足不同的检测;

2、实验室全覆盖,就近分配本地化检测;

3、工程师一对一服务,让检测更精准;

4、免费初检,初检不收取检测费用;

5、自助下单 快递免费上门取样;

6、周期短,费用低,服务周到;

7、拥有CMA、CNAS、CAL等权威资质;

8、检测报告权威有效、中国通用;

客户案例展示

  • 上海朗波王服饰有限公司
  • 浙江圣达生物药业股份有限公司
  • 天津市长庆电子科技有限公司
  • 上海纽特丝纺织品有限公司
  • 无锡露米娅纺织有限公司
  • 东方电气风电(凉山)有限公司