首页 馆藏资源 舆情信息 标准服务 科研活动 关于我们
现行 KS X ISO/IEC 13211-1-2007(2017)
到馆提醒
收藏跟踪
购买正版
정보 기술-프로그래밍 언어-프롤로그-제1부:일반적 핵심 信息技术.程序设计语言.Prolog.第1部分:通用核心
发布日期: 2007-11-30
该规格是为了在多种资料处理系统(data processing systems)之间提高对序言文本和资料的可移植性和应用性而描述的。该规格注明:a)prolog文本的表示b)prolog语言的语法和约束c)解释prolog文本的语义规则d)应该由prolog处理的输入资料表示e)由prolog生成的输出表示f)合适的prolog处理器的约束和限制条件b,该规格不指明以下内容:1)超过特定资料处理系统或语言处理器界限的序言文本的大小或复杂性,当超过对应界限时应采取的行动2)激活序言处理器的方法或执行;命令集3)用于资料处理系统的命令集3)用于控制为运行而准备的环境的命令集3)为了用于人的解读而准备的机制4)为人的解读而出版的序言文本的打印表示法5)序言处理器的用户环境[顶层环路(loop)、调试器(debugger)、库系统、编辑器、编译器等]该规格不是指南,对于有知识的程序员和开发人员很有用。 1.1在备注该规格中,备注不会影响为该规格定义的语言、序言文本或序言处理器。包含备注的原因如下:a)为了读者的理解,有助于检索该规格其他条款的比较参照和详细条款。b)警告在该规格中定义的预定义谓词在某些存在的实现中有不同的含义。
이 규격은 다양한 자료 처리 시스템(data processing systems) 사이에 프롤로그 텍스트와 자료에 대한 이식성과 응용성을 향상시키기 위해 기술되었다. 이 규격은 다음을 명시한다. a) 프롤로그 텍스트의 표현 b) 프롤로그 언어의 문법과 제약 사항 c) 프롤로그 텍스트 해석을 위한 의미론적 규칙 d) 프롤로그에 의해 처리되어야 할 입력 자료 표현 e) 프롤로그에 의해 생성되는 출력 표현 f) 적합한 프롤로그 처리기의 제약 사항과 한계 사항 비고 이 규격은 다음을 명시하지 않는다. 1) 특정 자료 처리 시스템이나 언어 처리기의 한계를 초과하는 프롤로그 텍스트의 크기나 복 잡성, 대응되는 한계가 초과되었을 때 취해야 할 행동 2) 프롤로그 처리기의 활성화 방법이나 실행, 실행되기 위해 프롤로그 텍스트가 준비해야 할 환경을 제어하기 위해 사용되는 명령어 집합 3) 자료 처리 시스템에 사용되기 위해 프롤로그 텍스트가 준비해야 할 메커니즘 4) 사람의 판독을 위해 출판된 프롤로그 텍스트의 인쇄 표현 5) 프롤로그 처리기의 사용자 환경[최상위 루프(loop), 디버거(debugger), 라이브러리 시스템, 편집기, 컴파일러 등] 이 규격은 안내서가 아니고, 지식이 있는 프로그래머와 개발자를 위해 유용하다. 1.1 비고 이 규격에서 비고는 이 규격에 적합하게 정의된 언어나 프롤로그 텍스트, 프롤로그 처리기에 영향을주 지 않는다. 비고를 포함하는 이유는 다음과 같다. a) 독자의 이해를 위해 이 규격의 다른 조항의 비교 참조와 세부적 조항 검색을 돕는다. b) 이 규격에서 정의되어 있는 미리 정의된 술어가 일부 존재하는 구현에서 다른 의미로 있는 것을 경고한다.
分类信息
关联关系
研制信息
相似标准/计划/法规
现行
KS X ISO/IEC 13211-1(2022 Confirm)
정보 기술-프로그래밍 언어-프롤로그-제1부:일반적 핵심
信息技术程序设计语言Prolog第1部分:通用核心
2007-11-30
现行
ISO/IEC 13211-1-1995
Information technology — Programming languages — Prolog — Part 1: General core
信息技术——编程语言——序言第1部分:一般核心
1995-06-01
现行
BS ISO/IEC 13211-1-1995
Information technology. Programming languages. Prolog-General core
信息技术 编程语言 序言 一般核心
2017-12-31
现行
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
信息技术——编程语言SPART 1:Modula-2 基础语言
1996-05-30
现行
ISO/IEC 6522-1992
Information technology — Programming languages — PL/1 general purpose subset
信息技术——编程语言——PL/1通用子集
1992-11-25
现行
KS X ISO/IEC 10514-2(2017 Confirm)
정보기술 - 프로그래밍 언어 - 제2부 : 모듈러 2의 일반 사항
信息技术程序设计语言第2部分:模块2中的泛型
2001-12-31
现行
KS X ISO/IEC 10514-2(2021 Confirm)
정보기술 - 프로그래밍 언어 - 제2부 : 모듈러 2의 일반 사항
信息技术—编程语言—第2部分:模块-2中的泛型
2001-12-31
现行
ISO/IEC 10514-2-1998
Information technology — Programming languages — Part 2: Generics Modula-2
信息技术——编程语言SPART 2:泛型模块A-2
1998-12-03
现行
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
现行
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
现行
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.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
现行
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