• There are no items in your cart
We noticed you’re not on the correct regional site. Switch to our AMERICAS site for the best experience.
Dismiss alert

BS ISO/IEC 13211-1:1995

Current

Current

The latest, up-to-date edition.

Information technology. Programming languages. Prolog General core

Available format(s)

Hardcopy , PDF

Language(s)

English

Published date

31-12-2017

£400.00
Excluding VAT

Foreword
Introduction
1 Scope
    1.1 Notes
2 Normative references
3 Definitions
4 Symbols and abbreviations
    4.1 Notation
    4.2 Abstract data type: stack
    4.3 Abstract date type: mapping
5 Compliance
    5.1 Prolog processor
    5.2 Prolog text
    5.3 Prolog goal
    5.4 Documentation
    5.5 Extensions
6 Syntax
    6.1 Notation
    6.2 Prolog text and data
    6.3 Terms
    6.4 Tokens
    6.5 Processor character set
    6.6 Collating sequence
7 Language concepts and semantics
    7.1 Types
    7.2 Term order
    7.3 Unification
    7.4 Prolog text
    7.5 Database
    7.6 Converting a term to a clause, and a clause to
         a term
    7.7 Executing a Prolog goal
    7.8 Control constructs
    7.9 Evaluating an expression
    7.10 Input/output
    7.11 Flags
    7.12 Errors
8 Built-in predicates
    8.1 The format of built-in predicate definitions
    8.2 Term unification
    8.3 Type testing
    8.4 Term comparison
    8.5 Term creation and decomposition
    8.6 Arithmetic evaluation
    8.7 Arithmetic comparison
    8.8 Clause retrieval and information
    8.9 Clause creation and destruction
    8.10 All solutions
    8.11 Stream selection and control
    8.12 Character input/output
    8.13 Byte input/output
    8.14 Term input/output
    8.15 Logic and control
    8.16 Atomic term processing
    8.17 Implementation defined hooks
9 Evaluable functors
    9.1 The simple arithmetic functors
    9.2 The format of other evaluable functor
         Definitions
    9.3 Other arithmetic functors
    9.4 Bitwise functors
ANNEX
A FORMAL SEMANTICS
    A.1 Introduction
    A.2 An informal description
    A.3 Data structures
    A.4 The Formal Semantics
    A.5 Control constructs and built-in predicates

Specifies: the representation of Prolog text; the semantic rules for interpreting Prolog text; the syntax and constraints of the Prolog language; the representation of input data to be processed by Prolog; the restrictions and limits imposed on a conforming Prolog processor; the representation of output produced by Prolog; the restrictions and limits imposed on a conforming Prolog processor.

Committee
IST/5
DevelopmentNote
Supersedes 94/645196 DC. (08/2005)
DocumentType
Standard
Pages
254
PublisherName
British Standards Institution
Status
Current

ISO/IEC 13211 is designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. This part of ISO/IEC 13211 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. NOTE - This part of 1S0/IEC 1321 I does not specify: the size or complexity of Prolog text that will exceed the capacity of any specific data processing system or language processor, or the actions to be taken when the corresponding limits are exceeded; the minimal requirements of a data processing system that is capable of supporting an implementation of a Prolog processor; the methods of activating the Prolog processor or the set of commands used to control the environment in which Prolog text is prepared for execution and executed; the mechanisms by which Prolog text is prepared for use by a data processing system; the typographical representation of Prolog text published for human reading; the user environment (top level loop, debugger, library system, editor, compiler etc.) of a Prolog processor. This part of 1S0/IEC I 321 I is intended for use by implementors and knowledgeable programmers, and is not a tutorial.

Standards Relationship
ISO/IEC 13211-1:1995/Cor 3:2017 Identical
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.