4Built-in predicates


Section Index


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