BS ISO/IEC 13211-1:1995
Current
The latest, up-to-date edition.
Information technology. Programming languages. Prolog General core
Hardcopy , PDF
English
31-12-2017
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
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.