Name: CSA ISO/IEC 13211-1 : 1997 : R2010
Brand: CSA

CSA ISO/IEC 13211-1 : 1997 : R2010

Superseded

View Superseded by

INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 1: GENERAL CORE

Available format(s)

Hardcopy , PDF

Superseded date

08-19-2020

Language(s)

English

Published date

01-01-2015

Publisher

Canadian Standards Association

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	CSA ISO/IEC 13211-1 : 1997 : R2015 CSA ISO/IEC 13211-1 : 1997 : INC : COR 2 : 2013 : R201000
Supersedes	CSA ISO/IEC 13211-1 : 1997 : INC : COR 1 : 2008

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