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