欧洲处破女www人鲁,亚洲无玛,国产bbaaaaa片,三年片在线观看免费播放大全电影国语版

百檢網(wǎng)首頁 我的訂單 400-101-7153

BS ISO/IEC 13211-1-1995 信息技術(shù).編程語言.Prolog語言.通用芯

作者:百檢網(wǎng) 時間:2021-07-16

標(biāo)準(zhǔn)號:BS ISO/IEC 13211-1-1995
中文標(biāo)準(zhǔn)名稱:信息技術(shù).編程語言.Prolog語言.通用芯
英文標(biāo)準(zhǔn)名稱:Information technology - Programming languages - Prolog - General core
標(biāo)準(zhǔn)類型:L74
發(fā)布日期:1995/10/15 12:00:00
實施日期:1995/10/15 12:00:00
中國標(biāo)準(zhǔn)分類號:L74
國際標(biāo)準(zhǔn)分類號: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. NOTE —This part of ISO/IEC 13211 does not specify: a) the size or complexity of Prolog text that will exceed the capacity of any specific data processing system or language processor, or the actions to be taken when the corresponding limits are exceeded; b) the minimal requirements of a data processing system that is capable of supporting an implementation of a Prolog processor; c) the methods of activating the Prolog processor or the set of commands used to control the environment in which Prolog text is prepared for execution and executed; d) the mechanisms by which Prolog text is prepared for use by a data processing system; e) the typographical representation of Prolog text published for human reading; f) the user environment (top level loop, debugger, library system, editor, compiler etc.) of a Prolog processor. This part of ISO/IEC 13211 is intended for use by implementors and knowledgeable programmers, and is not a tutorial. 1 Notes Notes in this part of ISO/IEC 13211 have no effect on the language, Prolog text or Prolog processors that are defined as conforming to this part of ISO/IEC 13211. Reasons for including a note include; a) Cross references to other clauses and subclauses of this part of ISO/IEC 13211 in order to help readers find their way around, b) Warnings when a built-in predicate as defined in this part of ISO/IEC 13211 has a different meaning in some existing implementations.

相關(guān)標(biāo)準(zhǔn)

百檢網(wǎng)專注于為第三方檢測機構(gòu)以及中小微企業(yè)搭建互聯(lián)網(wǎng)+檢測電商服務(wù)平臺,是一個創(chuàng)新模式的檢驗檢測服務(wù)網(wǎng)站。百檢網(wǎng)致力于為企業(yè)提供便捷、高效的檢測服務(wù),簡化檢測流程,提升檢測服務(wù)效率,利用互聯(lián)網(wǎng)+檢測電商,為客戶提供多樣化選擇,從根本上降低檢測成本提升時間效率,打破行業(yè)壁壘,打造出行業(yè)創(chuàng)新的檢測平臺。

百檢能給您帶來哪些改變?

1、檢測行業(yè)全覆蓋,滿足不同的檢測;

2、實驗室全覆蓋,就近分配本地化檢測;

3、工程師一對一服務(wù),讓檢測更精準(zhǔn);

4、免費初檢,初檢不收取檢測費用;

5、自助下單 快遞免費上門取樣;

6、周期短,費用低,服務(wù)周到;

7、擁有CMA、CNAS、CAL等權(quán)威資質(zhì);

8、檢測報告權(quán)威有效、中國通用;

客戶案例展示

  • 上海朗波王服飾有限公司
  • 浙江圣達生物藥業(yè)股份有限公司
  • 天津市長慶電子科技有限公司
  • 桑德斯微電子器件(南京)有限公司
  • 上海嘉疊貿(mào)易有限公司
  • 上海紐特絲紡織品有限公司
  • 無錫露米婭紡織有限公司
  • 東方電氣風(fēng)電(涼山)有限公司
  • 寧波圖米文具用品有限公司
  • 江蘇力之創(chuàng)特種裝備制造有限公司

相關(guān)資訊

暫無相關(guān)資訊

最新資訊

百檢網(wǎng)
主站蜘蛛池模板: 运城市| 芜湖县| 三河市| 定结县| 和平县| 五峰| 徐汇区| 米泉市| 宁海县| 贵德县| 周宁县| 新和县| 仁寿县| 镇赉县| 建湖县| 商丘市| 黄平县| 南召县| 贵溪市| 舟曲县| 齐齐哈尔市| 交城县| 右玉县| 宁南县| 福建省| 牙克石市| 迭部县| 十堰市| 外汇| 余庆县| 嵊泗县| 分宜县| 梁山县| 石嘴山市| 武隆县| 原平市| 曲水县| 龙里县| 奉化市| 新绛县| 保亭|