Loading data. Please wait

Tra cứu tiêu chuẩn  
Tìm kiếm nâng cao

ISO/IEC 13211-1

Information technology - Programming languages - Prolog - Part 1: General core

Số trang: 199
Ngày phát hành: 1995-06-00

Liên hệ
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.
Số hiệu tiêu chuẩn
ISO/IEC 13211-1
Tên tiêu chuẩn
Information technology - Programming languages - Prolog - Part 1: General core
Ngày phát hành
1995-06-00
Trạng thái
Có hiệu lực
Tiêu chuẩn tương đương
ANSI/INCITS/ISO/IEC 13211-1 (1995), IDT * BS ISO/IEC 13211-1 (1995-10-15), IDT * JIS X 3013 (2001-04-20), IDT * JIS X 3013 (2000-12), IDT * CAN/CSA-ISO/IEC 13211-1-97 (1997-02-28), IDT * DS/ISO/IEC 13211-1 (1995-10-12), IDT * NEN-ISO/IEC 13211-1:1995 en (1995-06-01), IDT
Tiêu chuẩn liên quan
ISO 2382-15 (1985-11)
Data processing; Vocabulary; Part 15: Programming languages Bilingual edition
Số hiệu tiêu chuẩn ISO 2382-15
Ngày phát hành 1985-11-00
Mục phân loại 01.040.35. Thông tin. Thiết bị văn phòng (Từ vựng)
35.060. Ngôn ngữ dùng trong công nghệ thông tin
Trạng thái Có hiệu lực
* ISO 8859-1 (1987-02)
Information processing; 8-bit single-byte coded graphic character sets; Part 1: Latin alphabet No. 1
Số hiệu tiêu chuẩn ISO 8859-1
Ngày phát hành 1987-02-00
Mục phân loại 35.040. Bộ ký tự và mã hóa thông tin
Trạng thái Có hiệu lực
* ISO/IEC 10967-1 (1994-12)
Information technology - Language independent arithmetic - Part 1: Integer and floating point arithmetic
Số hiệu tiêu chuẩn ISO/IEC 10967-1
Ngày phát hành 1994-12-00
Mục phân loại 35.060. Ngôn ngữ dùng trong công nghệ thông tin
Trạng thái Có hiệu lực
* BS 6154 (1981-12-31) * ISO/IEC 646 (1991-12) * ISO/IEC 9899 (1990-12) * ISO/IEC TR 10034 (1990-04)
Thay thế cho
ISO/IEC DIS 13211-1 (1994-06)
Thay thế bằng
Lịch sử ban hành
ISO/IEC 13211-1 (1995-06)
Information technology - Programming languages - Prolog - Part 1: General core
Số hiệu tiêu chuẩn ISO/IEC 13211-1
Ngày phát hành 1995-06-00
Mục phân loại 35.060. Ngôn ngữ dùng trong công nghệ thông tin
Trạng thái Có hiệu lực
* ISO/IEC DIS 13211-1 (1994-06)
Từ khóa
Artificial languages * Compatibility * Computer software * Data processing * Definitions * General conditions * Information exchange * Information technology * Program flows * Programming instructions * Programming languages * Prolog * Semantics * Syntax * Data exchange
Mục phân loại
35.060. Ngôn ngữ dùng trong công nghệ thông tin
Số trang
199

LOẠI TIÊU CHUẨN PHỔ BIẾN | TẤT CẢ LOẠI TIÊU CHUẨN