CSA ISO/IEC 13211-1 : 1997 : R2010
Superseded
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
View Superseded by
INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 1: GENERAL CORE
Hardcopy , PDF
19-08-2020
CSA ISO/IEC 13211-1 : 1997 : R2015
CSA ISO/IEC 13211-1 : 1997 : INC : COR 2 : 2013 : R201000
English
01-01-2015
Foreword
Introduction
1 Scope
2 Normative references
3 Definitions
4 Symbols and abbreviations
5 Compliance
6 Syntax
7 Language concepts and semantics
8 Built-in predicates
9 Evaluation functors
Annex A - Formal semantics
Defines applicability and portability of Prolog text and data among a variety of data processing systems.
| DocumentType |
Standard
|
| Pages |
221
|
| ProductNote |
Reconfirmed EN
|
| PublisherName |
Canadian Standards Association
|
| Status |
Superseded
|
| SupersededBy | |
| Supersedes |
| Standards | Relationship |
| ISO/IEC 13211-1:1995 | Identical |
| 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 |
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.