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

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.

This part of ISO/IEC13211 is designed to promote the applicability and portability of Prolog modules that contain Prolog text complying with the requirements of the Programming Language Prolog as specified in this part of ISO/IEC13211. This part of ISO/IEC13211 specifies: The representation of Prolog text that constitutes a Prolog module, The constraints that shall be satisfied to prepare Prolog modules for execution, and The requirements, restrictions and limits imposed on a conforming Prolog processor that processes modules. This part of ISO/IEC13211 does not specify: The size or number of Prolog modules that will exceed the capacity of any specific data processing system or language processor, or the actions to be taken when the limit is exceeded, The methods of activating the Prolog processor or the set of commands used to control the environment in which Prolog modules are prepared for execution, The mechanisms by which Prolog modules are loaded, The relationship between Prolog modules and the processor-specific file system. 1.1 Notes Notes in this part of ISO/IEC13211 have no effect on the language, Prolog text, module text or Prolog processors that are defined as conforming to this part of ISO/IEC13211. Reasons for including a note include: Cross references to other clauses and subclauses of this part of ISO/IEC13211 in order to help readers find their way around, Warnings when a built-in predicate as defined in this part of ISO/IEC13211 has a different meaning in some existing implementations.