3 Built-in predicates
Section Index
3.1 Notation of Predicate Descriptions
3.2 Character representation
3.3 Loading Prolog source files
3.3.1 Quick load files
3.4 Listing and Editor Interface
3.5 Verify Type of a Term
3.6 Comparison and Unification or Terms
3.6.1 Standard Order of Terms
3.7 Control Predicates
3.8 Meta-Call Predicates
3.9 ISO compliant Exception handling
3.9.1 Debugging and exceptions
3.9.2 The exception term
3.9.3 Printing messages
3.10 Handling signals
3.10.1 Notes on signal handling
3.11 The `block' control-structure
3.12 DCG Grammar rules
3.13 Database
3.13.1 Update view
3.13.2 Indexing databases
3.14 Declaring predicates properties
3.15 Examining the program
3.16 Input and output
3.16.1 Input and output using implicit source and destination
3.16.2 Explicit Input and Output Streams
3.16.3 Switching Between Implicit and Explicit I/O
3.17 Status of streams
3.18 Primitive character I/O
3.19 Term reading and writing
3.20 Analysing and Constructing Terms
3.21 Analysing and constructing atoms
3.22 Classifying characters
3.23 Representing text in strings
3.24 Operators
3.25 Character Conversion
3.26 Arithmetic
3.27 Arithmetic Functions
3.28 Adding Arithmetic Functions
3.29 List Manipulation
3.30 Set Manipulation
3.31 Sorting Lists
3.32 Finding all Solutions to a Goal
3.33 Invoking Predicates on all Members of a List
3.34 Forall
3.35 Formatted Write
3.35.1 Writef
3.35.2 Format
3.35.3 Programming Format
3.36 Terminal Control
3.37 Operating System Interaction
3.38 File System Interaction
3.39 Multi-threading (alpha code)
3.39.1 Thread communication
3.39.2 Thread synchronisation
3.39.3 Thread-support library(threadutil)
3.39.4 Status of the thread implementation
3.40 User Toplevel Manipulation
3.41 Creating a Protocol of the User Interaction
3.42 Debugging and Tracing Programs
3.43 Obtaining Runtime Statistics
3.44 Finding Performance Bottlenecks
3.45 Memory Management
3.46 Windows DDE interface
3.46.1 DDE client interface
3.46.2 DDE server mode
3.47 Miscellaneous
