[Contents]
[Index]
[Summary]
3 Built-In Predicates
Section Index
3.1 Notation of Predicate Descriptions
3.2 Consulting Prolog Source files
3.2.1 Quick Load Files
3.3 Listing Predicates and Editor Interface
3.4 Verify Type of a Term
3.5 Comparison and Unification or Terms
3.5.1 Standard Order of Terms
3.6 Control Predicates
3.7 Meta-Call Predicates
3.8 Advanced control-structures: blocks
3.9 Grammar rule interface (phrase)
3.10 Database
3.10.1 Indexing databases
3.11 Declaring Properties of Predicates
3.12 Examining the Program
3.13 Input and Output
3.13.1 Input and Output Using Implicit Source and Destination
3.13.2 Explicit Input and Output Streams
3.13.3 Switching Between Implicit and Explicit I/O
3.14 Status of Input and Output Streams
3.15 Primitive Character Input and Output
3.16 Term Reading and Writing
3.17 Analysing and Constructing Terms
3.18 Analysing and Constructing Atoms
3.19 Representing Text in Strings
3.20 Operators
3.21 Arithmetic
3.22 Arithmetic Functions
3.23 Adding Arithmetic Functions
3.24 List Manipulation
3.25 Set Manipulation
3.26 Sorting Lists
3.27 Finding all Solutions to a Goal
3.28 Invoking Predicates on all Members of a List
3.29 Forall
3.30 Formatted Write
3.30.1 Writef
3.30.2 Format
3.30.3 Programming Format
3.31 Terminal Control
3.32 Operating System Interaction
3.33 File System Interaction
3.34 User Toplevel Manipulation
3.35 Creating a Protocol of the User Interaction
3.36 Debugging and Tracing Programs
3.37 Obtaining Runtime Statistics
3.38 Finding Performance Bottlenecks
3.39 Memory Management
3.40 Windows DDE interface
3.40.1 DDE client interface
3.40.2 DDE server mode
3.41 Miscellaneous