Built-In Predicates

• Notation of Predicate Descriptions
• Consulting Prolog Source files
  • Quick Load Files
• Listing Predicates and Editor Interface
• Verify Type of a Term
• Comparison and Unification or Terms
  • Standard Order of Terms
• Control Predicates
• Meta-Call Predicates
• Advanced control-structures: blocks
• Grammar rule interface (phrase)
• Database
  • Indexing databases
• Declaring Properties of Predicates
• 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 Input and Output Streams
• Primitive Character Input and Output
• Term Reading and Writing
• Analysing and Constructing Terms
• Analysing and Constructing Atoms
• Representing Text in Strings
• Operators
• 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
• Unix Interaction
• File System Interaction
• 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