BS ISO/IEC 13211-2:2000

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 agreement
      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