4
Built-in predicates
Section Index
4.1
Notation of Predicate Descriptions
4.2
Character representation
4.3
Loading Prolog source files
4.3.1
Conditional compilation and program transformation
4.3.1.1
Conditional compilation
4.3.2
Loading files, active code and threads
4.3.2.1
Threads and reloading running code
4.3.3
Quick load files
4.4
Listing and Editor Interface
4.5
Verify Type of a Term
4.6
Comparison and Unification of Terms
4.6.1
Standard Order of Terms
4.6.2
Special unification and comparison predicates
4.7
Control Predicates
4.8
Meta-Call Predicates
4.9
ISO compliant Exception handling
4.9.1
Debugging and exceptions
4.9.2
The exception term
4.9.3
Printing messages
4.10
Handling signals
4.10.1
Notes on signal handling
4.11
The `block' control-structure
4.12
DCG Grammar rules
4.13
Database
4.13.1
Update view
4.13.2
Indexing databases
4.14
Declaring predicates properties
4.15
Examining the program
4.16
Input and output
4.16.1
ISO Input and Output Streams
4.16.2
Edinburgh-style I/O
4.16.3
Switching Between Edinburgh and ISO I/O
4.16.4
Write onto atoms, code-lists, etc.
4.17
Status of streams
4.18
Primitive character I/O
4.19
Term reading and writing
4.20
Analysing and Constructing Terms
4.20.1
Non-logical operations on terms
4.21
Analysing and Constructing Atoms
4.22
Character properties
4.22.1
Case conversion
4.22.2
White space normalization
4.22.3
Language specific comparison
4.23
Representing text in strings
4.24
Operators
4.25
Character Conversion
4.26
Arithmetic
4.26.1
Special purpose integer arithmetic
4.26.2
General purpose arithmetic
4.26.2.1
Arithmetic types
4.26.2.2
Rational number examples
4.26.2.3
Arithmetic Functions
4.27
Adding Arithmetic Functions
4.28
Built-in list operations
4.29
Finding all Solutions to a Goal
4.30
Invoking Predicates on all Members of a List
4.31
Forall
4.32
Formatted Write
4.32.1
Writef
4.32.2
Format
4.32.3
Programming Format
4.33
Terminal Control
4.34
Operating System Interaction
4.34.1
Dealing with time and date
4.34.1.1
Time and date data-structures
4.34.1.2
Time and date predicates
4.34.2
Controlling the
PLWIN.EXE
console window
4.35
File System Interaction
4.36
User Top-level Manipulation
4.37
Creating a Protocol of the User Interaction
4.38
Debugging and Tracing Programs
4.39
Obtaining Runtime Statistics
4.40
Execution profiling
4.40.1
Profiling predicates
4.40.2
Visualizing profiling data
4.40.3
Information gathering
4.40.3.1
Profiling in the Windows Implementation
4.41
Memory Management
4.42
Windows DDE interface
4.42.1
DDE client interface
4.42.2
DDE server mode
4.43
Miscellaneous
