• There are no items in your cart

CSA ISO/IEC 13211-1 : 1997 : INC : COR 2 : 2013 : R201000

Superseded

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

Available format(s)

Hardcopy , PDF

Superseded date

19-08-2020

Language(s)

English

Published date

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
253
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.