INCITS/ISO/IEC 13211-2 : 2000 : R2006

Foreword
Introduction
1 Scope
  1.1 Notes
2 Normative references
3 Terms and definitions
4 Compliance
  4.1 Prolog processor
  4.2 Module text
  4.3 Prolog goal
  4.4 Prolog modules
       4.4.1 Prolog text without modules
       4.4.2 The module user
  4.5 Documentation
       4.5.1 Dynamic Modules
       4.5.2 Inaccessible Procedures
5 Syntax
  5.1 Module text
  5.2 Terms
       5.2.1 Operators
6 Language concepts and semantics
  6.1 Related terms
       6.1.1 Qualified and unqualified terms
  6.2 Module text
       6.2.1 Module user
       6.2.2 Procedure Visibility
       6.2.3 Module interface
       6.2.4 Module directives
       6.2.5 Module body
       6.2.6 Clauses
  6.3 Complete database
       6.3.1 Visible database
       6.3.2 Examples
  6.4 Context sensitive predicates
       6.4.1 Metapredicate built-ins
       6.4.2 Context sensitive built-ins
       6.4.3 Module name expansion
       6.4.4 Examples: Metapredicates
  6.5 Converting a term to a clause, and a clause to a term
       6.5.1 Converting a term to the head of a clause
       6.5.2 Converting a module qualified term to a body
       6.5.3 Converting the body of a clause to a term
  6.6 Executing a Prolog goal
       6.6.1 Data types for the execution model
       6.6.2 Initialization
       6.6.3 Searching the complete database
       6.6.4 Selecting a clause for execution
       6.6.5 Backtracking
       6.6.6 Executing a user-defined procedure
       6.6.7 Executing a built-in predicate
  6.7 Executing a control construct
       6.7.1 call/1
       6.7.2 catch/3
       6.7.3 throw/1
  6.8 Predicate properties
  6.9 Flags
       6.9.1 Flag: colon_sets_calling_context
  6.10 Errors
       6.10.1 Error classification
7 Built-in predicates
  7.1 The format of built-in predicate definitions
       7.1.1 Type of an argument
  7.2 Module predicates
       7.2.1 current_module/1
       7.2.2 predicate_property/2
  7.3 Clause retrieval and information
       7.3.1 clause/2
       7.3.2 current_predicate/1
  7.4 Database access and modification
       7.4.1 asserta/1
       7.4.2 assertz/1
       7.4.3 retract/1
       7.4.4 abolish/1

Describes: a) The representation of Prolog text that constitutes a Prolog module, b) The constraints that shall be satisfied to prepare Prolog modules for execution, and c) The requirements, restrictions and limits imposed on a conforming Prolog processor that processes modules.