BS ISO/IEC 13211-2:2000
Current
The latest, up-to-date edition.
Information technology. Programming languages. Prolog Modules
Hardcopy , PDF
English
11-15-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
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.