Customer Support: +1 416-401-8730

Login to i2i Subscription Intertek.com
  • There are no items in your cart
Please enter a keyword to search
Advanced search
Home
ISO
ISO/IEC 13211-1:1995

ISO/IEC 13211-1:1995

Current

Current

The latest, up-to-date edition.

Information technology Programming languages Prolog Part 1: General core

Amended by

ISO/IEC 13211-1:1995/Cor 1:2007

Available format(s)

Hardcopy , PDF , PDF 3 Users , PDF 5 Users , PDF 9 Users

Published date

06-01-1995

Publisher

International Organization for Standardization

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.

DocumentType
Standard
Pages
199
PublisherName
International Organization for Standardization
Status
Current

ISO/IEC 10967-2:2001 Information technology — Language independent arithmetic — Part 2: Elementary numerical functions
ISO 19144-1:2009 Geographic information — Classification systems — Part 1: Classification system structure
ISO/IEC 13211-2:2000 Information technology Programming languages Prolog Part 2: Modules
BS EN ISO 19144-1:2012 Geographic information. Classification systems Classification system structure
UNI EN ISO 19144-1 : 2012 GEOGRAPHIC INFORMATION - CLASSIFICATION SYSTEMS - PART 1: CLASSIFICATION SYSTEM STRUCTURE
CSA ISO/IEC 10967-1:14 (R2019) Information technology - Language independent arithmetic - Part 1: Integer and floating point arithmetic (Adopted ISO/IEC 10967-1:2012, second edition, 2012-07-15)
CSA ISO/IEC 13211-2 : 2002 : R2016 INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES
CSA ISO/IEC 10967-2 :2002 INFORMATION TECHNOLOGY - LANGUAGE INDEPENDENT ARITHMETIC - PART 2: ELEMENTARY NUMERICAL FUNCTIONS
INCITS/ISO/IEC 13211-2 : 2000 INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES
ISO/IEC TR 14252:1996 Information technology — Guide to the POSIX Open System Environment (OSE)
CSA ISO/IEC 13211-2 : 2002 INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES
CSA ISO/IEC 10967-2 : 2002 : R2011 INFORMATION TECHNOLOGY - LANGUAGE INDEPENDENT ARITHMETIC - PART 2: ELEMENTARY NUMERICAL FUNCTIONS
INCITS/ISO 19144-1 : 2010 GEOGRAPHIC INFORMATION - CLASSIFICATION SYSTEMS - PART 1: CLASSIFICATION SYSTEM STRUCTURE
ISO/IEC 10967-1:2012 Information technology — Language independent arithmetic — Part 1: Integer and floating point arithmetic
CSA ISO/IEC 13211-2 : 2002 : R2011 INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES
I.S. EN ISO 19144-1:2012 GEOGRAPHIC INFORMATION - CLASSIFICATION SYSTEMS - PART 1: CLASSIFICATION SYSTEM STRUCTURE (ISO 19144-1:2009)
BS ISO/IEC TR 14252:1996 Information technology. Guide to the POSIX open system environment (OSE)
BS ISO 19144-1 : 2009 GEOGRAPHIC INFORMATION - CLASSIFICATION SYSTEMS - PART 1: CLASSIFICATION SYSTEMS STRUCTURE
04/30106462 DC : DRAFT JUL 2004 ISO/IEC 10967-3 - INFORMATION TECHNOLOGY - LANGUAGE INDEPENDENT ARITHMETIC - PART 3 : COMPLEX FLOATING POINT ARITHMETIC AND COMPLEX ELEMENTARY NUMERICAL FUNCTIONS
INCITS/ISO/IEC 13211-2 : 2000 : R2006 INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES
BS ISO/IEC 10967-1:2012 Information technology. Language independent arithmetic Integer and floating point arithmetic
BS ISO/IEC 13211-2:2000 Information technology. Programming languages. Prolog Modules
CSA ISO/IEC 10967-2 : 2002 : R2016 INFORMATION TECHNOLOGY - LANGUAGE INDEPENDENT ARITHMETIC - PART 2: ELEMENTARY NUMERICAL FUNCTIONS

ISO/IEC 8859-1:1998 Information technology 8-bit single-byte coded graphic character sets Part 1: Latin alphabet No. 1
ISO/IEC TR 10034:1990 Guidelines for the preparation of conformity clauses in programming language standards
ISO/IEC 2382-15:1999 Information technology Vocabulary Part 15: Programming languages
BS 6154:1981 Method of defining syntactic metalanguage
ISO/IEC 10967-1:2012 Information technology — Language independent arithmetic — Part 1: Integer and floating point arithmetic
ISO/IEC 9899:2011 Information technology Programming languages C
ISO/IEC 646:1991 Information technology ISO 7-bit coded character set for information interchange

View more information
US$251.00
Excluding Tax where applicable
USD
CAD
CHF
CNY
DKK
EUR
GBP
HKD
IDR
INR
JPY
KRW
MXN
NOK
NZD
SEK
SGD
USD
ZAR
Hardcopy - English
PDF - English
PDF 3 Users - English
PDF 5 Users - English
PDF 9 Users - English
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

Access your standards online with a subscription

Features

  • Simple online access to standards, technical information and regulations.

  • Critical updates of standards and customisable alerts and notifications.

  • Multi-user online standards collection: secure, flexible and cost effective.

Learn more on subscription solutions

or

Get in touch with us