CSA ISO/IEC 13211-2 : 2002 : R2011
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 2: MODULES
Hardcopy , PDF
22-07-2021
English
01-01-2016
Foreword
Introduction
1 Scope
2 Normative reference
3 Terms and definitions
4 Compliance
5 Syntax
6 Language concepts and semantics
7 Built-in predicates
Promotes the portability and applicability of Prolog modules that contain Prolog text complying with the requirements of the Programming Language Prolog. Specifies the representation of Prolog text that constitutes a Prolog module, the constraints to be satisfied to prepare Prolog modules for execution and the requirements, restrictions and limits imposed on a conforming Prolog processor that processes modules.
| DocumentType |
Standard
|
| Pages |
34
|
| ProductNote |
Reconfirmed EN
|
| PublisherName |
Canadian Standards Association
|
| Status |
Superseded
|
| SupersededBy | |
| Supersedes |
| Standards | Relationship |
| ISO/IEC 13211-2:2000 | Identical |
| ISO/IEC 13211-1:1995 | Information technology Programming languages Prolog Part 1: General core |
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.