首页 馆藏资源 舆情信息 标准服务 科研活动 关于我们
现行 ISO/IEC 13211-1:1995
到馆阅读
收藏跟踪
购买正版
Information technology — Programming languages — Prolog — Part 1: General core 信息技术——编程语言——序言第1部分:一般核心
发布日期: 1995-06-01
旨在促进Prolog文本和数据在各种数据处理系统中的适用性和可移植性。指定:Prolog文本的表示形式;Prolog语言的语法和约束;解释序言文本的语义规则;Prolog要处理的输入数据的表示;Prolog产生的输出的表示,以及对符合要求的Prolog处理器施加的限制和限制。
Designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. Specifies: the representation of Prolog text; the syntax and constraints of the Prolog language; the semantic rules for interpreting Prolog text; the representation of input data to be processed by Prolog; the representation of output produced by Prolog and the restrictions and limits imposed on a conforming Prolog processor.
分类信息
关联关系
研制信息
归口单位: ISO/IEC JTC 1/SC 22
相似标准/计划/法规
现行
KS X ISO/IEC 13211-1(2017 Confirm)
정보 기술-프로그래밍 언어-프롤로그-제1부:일반적 핵심
信息技术.程序设计语言.Prolog.第1部分:通用核心
2007-11-30
现行
KS X ISO/IEC 13211-1(2022 Confirm)
정보 기술-프로그래밍 언어-프롤로그-제1부:일반적 핵심
信息技术程序设计语言Prolog第1部分:通用核心
2007-11-30
现行
ISO/IEC 13211-2-2000
Information technology -- Programming languages -- Prolog -- Part 2: Modules
信息技术程序设计语言Prolog第2部分:模块
2000-06-08
现行
ISO/IEC 13211-2-2000
Information technology — Programming languages — Prolog — Part 2: Modules
信息技术——编程语言——序言第2部分:模块
2000-06-08
现行
KS X ISO/IEC 10514-1(2017 Confirm)
정보기술-프로그래밍 언어-제1부:Modula-2, 기본 언어
信息技术程序设计语言第1部分:Modula-2基本语言
2007-11-30
现行
KS X ISO/IEC 10514-1(2022 Confirm)
정보기술-프로그래밍 언어-제1부:Modula-2, 기본 언어
信息技术程序设计语言第1部分:基本语言Modula-2
2007-11-30
现行
ISO/IEC 10514-1-1996
Information technology -- Programming languages -- Part 1: Modula-2, Base Language
信息技术程序设计语言第1部分:模块-2基本语言
1996-05-30
现行
ISO/IEC 10514-1-1996
Information technology — Programming languages — Part 1: Modula-2, Base Language
信息技术——编程语言SPART 1:Modula-2 基础语言
1996-05-30
现行
KS X ISO/IEC 13817-1(2017 Confirm)
정보기술-프로그래밍 언어,환경 및 시스템 소프트웨어 인터페이스-비엔나 개발방법-언어사양-제1부:기본언어
信息技术程序设计语言及其环境和系统软件接口维也纳开发方法规范语言第1部分:基础语言
2007-11-30
现行
KS X ISO/IEC 13817-1(2022 Confirm)
정보기술-프로그래밍 언어,환경 및 시스템 소프트웨어 인터페이스-비엔나 개발방법-언어사양-제1부:기본언어
信息技术程序设计语言及其环境和系统软件接口维也纳开发方法规范语言第1部分:基本语言
2007-11-30
现行
ISO/IEC 13817-1-1996
Information technology -- Programming languages, their environments and system software interfaces -- Vienna Development Method -- Specification Language -- Part 1: Base language
信息技术程序设计语言及其环境和系统软件接口维也纳开发方法规范语言第1部分:基本语言
1996-12-19
现行
ISO/IEC 13817-1-1996
Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language
信息技术——编程语言及其环境和系统软件接口——维也纳开发方法——规范语言第1部分:基础语言
1996-12-19
现行
INCITS 331.1-1999
American National Standard for Information Technology - Database Languages - SQLJ - Part 1: SQL Routines using the Java (TM) Programming Language
美国信息技术国家标准数据库语言SQLJ第1部分:使用Java(TM)编程语言的SQL例程
1999-09-20
现行
KS X 2022-1(2017 Confirm)
이식가능 운영체제 인터페이스(POSIX) - 제2부 : 시스템 운용프로그램 인터페이스 C언어
信息技术便携式操作系统接口(POSIX)第1部分:系统应用程序接口(API)C语言
2001-12-06
现行
KS X 2022-1(2021 Confirm)
이식가능 운영체제 인터페이스(POSIX) - 제2부 : 시스템 운용프로그램 인터페이스 C언어
信息技术便携式操作系统接口(POSIX)第1部分:系统应用程序接口(API)C语言
2001-12-06
现行
IEEE 1003.5c-1998
IEEE Standard for Information Technology - POSIX Ada Language Interfaces - Part 1: Binding for System Application Program Interface (API)
IEEE信息技术标准POSIX Ada语言接口第1部分:系统应用程序接口(API)的绑定
1998-01-01
现行
ISO/IEC TR 24731-1-2007
Information technology — Programming languages, their environments and system software interfaces — Extensions to the C library — Part 1: Bounds-checking interfaces
信息技术——编程语言及其环境和系统软件接口——C库的扩展第1部分:边界检查接口
2007-08-29
现行
IEEE 1003.5-1992
IEEE Standard for Information Technology--POSIX(TM) Ada Language Interfaces--PART 1: Binding for System Application Program Interface (API)
IEEE信息技术标准POSIX(R)Ada语言接口第1部分:系统应用程序接口(API)绑定
1994-03-24
现行
ISO/IEC TS 18661-1-2014
Information technology -- Programming languages, their environments, and system software interfaces -- Floating-point extensions for C -- Part 1: Binary floating-point arithmetic
信息技术编程语言及其环境和系统软件接口C的浮点扩展第1部分:二进制浮点算法
2014-07-21
现行
ISO/IEC TS 18661-1-2014
Information technology — Programming languages, their environments, and system software interfaces — Floating-point extensions for C — Part 1: Binary floating-point arithmetic
信息技术 - 编程语言 环境和系统软件接口 - C浮点扩展 - 第1部分:二进制浮点算术
2014-07-21