Next:
Notation of Predicate Descriptions
Up:
<
Previous:
Acknowledgements
 
Contents
 
Index
Built-in predicates
Subsections
Notation of Predicate Descriptions
Character representation
Loading Prolog source files
Quick load files
Listing and Editor Interface
Verify Type of a Term
Comparison and Unification or Terms
Standard Order of Terms
Control Predicates
Meta-Call Predicates
ISO compliant Exception handling
Debugging and exceptions
The exception term
Printing messages
Handling signals
Notes on signal handling
The `block' control-structure
DCG Grammar rules
Database
Update view
Indexing databases
Declaring predicates properties
Examining the program
Input and output
Input and output using implicit source and destination
Explicit Input and Output Streams
Switching Between Implicit and Explicit I/O
Status of streams
Primitive character I/O
Term reading and writing
Analysing and Constructing Terms
Analysing and constructing atoms
Classifying characters
Representing text in strings
Operators
Character Conversion
Arithmetic
Arithmetic Functions
Adding Arithmetic Functions
List Manipulation
Set Manipulation
Sorting Lists
Finding all Solutions to a Goal
Invoking Predicates on all Members of a List
Forall
Formatted Write
Writef
Format
Programming Format
Terminal Control
Operating System Interaction
File System Interaction
Multi-threading (alpha code)
Thread communication
Thread synchronisation
Thread-support library(threadutil)
Status of the thread implementation
User Toplevel Manipulation
Creating a Protocol of the User Interaction
Debugging and Tracing Programs
Obtaining Runtime Statistics
Finding Performance Bottlenecks
Memory Management
Windows DDE interface
DDE client interface
DDE server mode
Miscellaneous
Dr. Richard Botting 2001-12-12