Quintus Prolog

Table of Contents

• Quintus Prolog
• Introduction
  • About this Manual
    • Overview
    • Organization of the Manual
    • Notational Conventions
      • Goal Templates and Mode Annotations
      • Examples
      • Operating System Dependencies
    • Bibliographical Notes
  • Highlights of release 3
    • Embeddability
    • QOF Loading and Saving
    • QUI: An X-based Development Environment
    • Source-linked Debugger
    • Other New Features
    • Compatibility Issues
      • Saved States
      • Error Reporting/Handling
    • New Built-in Predicates
    • New Hook Predicates
    • Removed Built-in Predicates
  • The Quintus Directory
    • Structure of the Quintus Directory under UNIX
    • Structure of the Quintus Directory under Windows
    • Search Paths
• User's Guide
  • Getting Started
    • Overview
    • Starting Prolog
    • Exiting Prolog
    • The Top-level Prolog Prompt
    • Using the On-line Help System
  • Loading Programs into Prolog
    • Loading a File into Prolog
    • Loading Pre-Compiled (QOF) Files
    • Commands in Files
    • Syntax Errors
    • Style Warnings
    • Saving and Restoring a Program State
      • Basic Information
    • Using an Initialization File
  • Running Programs
    • Overview
    • Interrupting the Execution of a Program
    • Errors, Warnings and Informational Messages
    • Undefined Predicates
    • Executing Commands from Prolog
    • Dynamic Predicates
    • Prompts
  • Limits in Quintus Prolog
  • Writing Efficient Programs
    • Overview
    • The Cut
      • Overview
      • Making Predicates Determinate
      • Placement of Cuts
      • Terminating a Backtracking Loop
    • Indexing
      • Overview
      • Data Tables
      • Determinacy Detection
    • Last Clause Determinacy Detection
    • The Quintus Determinacy Checker
      • Using the Determinacy Checker
      • Declaring Nondeterminacy
      • Checker Output
      • Example
      • Options
      • What is Detected
    • Last Call Optimization
      • Accumulating Parameters
      • Accumulating Lists
    • Building and Dismantling Terms
    • Conditionals and Disjunction
    • The Quintus Cross-Referencer
      • Introduction
      • Basic Use
      • Practice and Experience
• The Quintus User Interface
  • Quintus User Interface
    • Starting Up QUI
    • Exiting QUI
  • QUI Main Window
    • Main Window Menu Bar
      • File Pulldown
      • Debug Pulldown
      • Help Pulldown
    • QUI Query History Menu
    • QUI Query Interpreter Sub-Window
      • Prolog Output and Input
      • Key Bindings
    • QUI Interrupt Button
    • QUI Next Answer Buttons
    • QUI Error Dialogue Window
  • Edit Windows
    • Invoking an Edit Window
    • File Pulldown
    • Misc Pulldown
    • Help Pulldown
    • Key Bindings
  • Interface to External Editors
    • Interface to GNU Emacs
      • Invoking GNU Emacs to Edit Files From QUI
      • Key Bindings in "qui" mode
  • QUI Debug Window
  • QUI Help Window
    • Invoking Help
    • Help Window
      • Selecting a Sub-Section from a Menu
      • Following Cross-References in Text
      • Selecting a Topic in Text
    • Help Window Menu Bar
      • File Pulldown
      • Goto Pulldown
      • Invoking Goto Options from Prolog Predicates
      • History Pulldown
      • Misc Pulldown -- Search
  • Customizing and Interfacing with QUI
    • The QUI Resource File
    • Customizing QUI Resources
      • Global Resources
      • Labels and Messages
      • Menu Entries
      • Key Bindings
      • Editor Resources
      • Debugger Resources
      • Help System Resources
    • Restrictions on developing programs under QUI
      • Hook Predicates
      • Embeddable C Function
      • UNIX Signal Handling
• The Emacs Interface
  • Overview
    • Overview
    • Environment Variables
    • Using Prolog with the Emacs Editor
      • Overview
      • Terminal and Operating System Requirements
      • Entering Prolog and Emacs
      • Exiting Emacs
      • Suspending an Emacs Session
    • The Source Linked Debugger
    • Accessing the On-line Manual
    • Loading Programs
      • Basic Information
      • Loading an Entire Buffer
      • Loading a Region in a Buffer
      • Loading a Single Procedure
    • Repeating a Query
      • Repeating Queries under Gnu Emacs
    • Displaying Previous Input
    • Locating Procedures
  • The GNU Emacs Interface
    • Overview
    • Key Bindings
    • Prolog Mode
    • Prolog Source Code Layout Restrictions
    • Rebinding Keys in Your Initialization File
    • Programming the Prolog/GNU Emacs Interface
      • Submitting Prolog Queries from GNU Emacs
      • Invoking Emacs-Lisp Functions from Prolog
• The Visual Basic Interface
  • Overview
  • How to Call Prolog from Visual Basic
    • Opening and Closing a Query
    • Finding the Solutions of a Query
    • Retrieving Variable Values
    • Evaluating a Query with Side-Effects
    • Handling Exceptions in Visual Basic
  • How to Use the Interface
    • Setting Up the interface
    • Initializing the Prolog engine
    • Deinitializing the Prolog Engine From VB
    • Loading the Prolog code
  • Examples
    • Example 1 - Calculator
    • Example 2 - Train
    • Example 3 - Queens
  • Summary of the Interface Functions
• The Debugger
  • Debugging Basics
    • Introduction
    • The Procedure Box Control Flow Model
    • Understanding Prolog Execution Using The Debugger
    • Traveling Between Ports
      • Basic Traveling Commands
      • Spypoints
      • Traveling Commands Sensitive to Spypoints
      • Commands That Change The Flow Of Control
    • Debugger Concepts
      • Trace Mode, Debug Mode, And Zip Mode
      • Leashing
      • Locked Predicates
      • Unknown Procedures
      • Current Debugging State
    • Summary of Predicates
  • The Source Linked Debugger
    • Introduction
    • Showing Your Place In The Source Code
      • The Call Port
      • The Exit And Done Ports
      • The Redo Port
      • The Fail Port
      • The Head Port
      • The Exception Port
    • When Source Linking Is Not Possible
    • Traveling Between Ports
    • Seeing Ancestor Frames
    • Debugger Menus
      • The File Menu
      • The Options Menu
      • The Spypoint Menu
      • The Window Menu
      • The Travel Menu
      • The Help Menu
    • The Status Panel
    • Other Windows
      • The Variable Bindings Window
      • The Standard Debugger Window
      • The Ancestors Window
      • Menus For These Windows
  • The Standard Debugger
    • Format of Debugging Messages
      • Format of Head Port Messages
      • Format of Exception Port Messages
    • Options Available during Debugging
      • Introduction
      • Basic Control Options
      • Printing Options
      • Advanced Control Options
      • Environment Options
      • Help Options
  • The Advice Facility
    • Use of Advice Predicates
    • Performance
    • Summary of Predicates
  • The Profiler
    • Use of the Profiler
    • Customized Output
    • Performance
    • Summary of Predicates
• Glossary
  • Glossary
• The Prolog Language
  • Syntax
    • Overview
    • Terms
      • Overview
      • Integers
      • Floating-point Numbers
      • Atoms
      • Variables
      • Foreign Terms
    • Compound Terms
      • Lists
      • Strings As Lists
    • Character Escaping
    • Operators and their Built-in Predicates
      • Overview
      • Manipulating and Inspecting Operators
      • Syntax Restrictions
      • Built-in Operators
    • Commenting
    • Predicate Specifications
    • Formal Syntax
      • Overview
      • Notation
      • Syntax of Sentences as Terms
      • Syntax of Terms as Tokens
      • Syntax of Tokens as Character Strings
      • Notes
    • Summary of Predicates
  • Semantics
    • Programs
    • Types of Predicates Supplied with Quintus Prolog
      • Hook Predicates
      • Redefinable Predicates
    • Disjunction
    • Declarative and Procedural Semantics
    • The Cut
    • Occur Check
    • Control
  • Invoking Prolog
    • Prolog Command Line Argument Handling
      • The Initialization File
    • Exiting Prolog
  • Loading Programs
    • Overview
    • The Load Predicates
    • Redefining Procedures during Program Execution
    • Predicate List
  • Saving and Loading the Prolog Database
    • Overview of QOF Files
    • Compatibility with save/restore in previous releases
    • Foreign Code
    • Saved-States
    • Selective saving and loading of QOF files
    • Initializing Goals in Saved States
      • The Initialization Declaration
      • Volatile Predicates
      • Fine Tuning
    • Predicate List
  • Files and Directories
    • The File Search Path Mechanism
      • Defining File Search Paths
      • Frequently Used File Specifications
      • Filename Defaults
      • Predefined file_search_path Facts
      • The system file_search_path
      • The Library Paths
      • Editor Command for Library Search
    • List of Predicates
  • Input and Output
    • Introduction
    • About Streams
      • Programming Note
      • Stream Categories
    • Term Input
      • Reading Terms: The "Read" Predicates
      • Changing the Prompt
    • Term Output
      • Writing Terms: the "Write" Predicates
      • Common Characteristics
      • Distinctions Among the "write" Predicates
      • Displaying Terms
      • Using the portray hook
      • Portraying a Clause
    • Character Input
      • Overview
      • Reading Characters
      • Peeking
      • Skipping
      • Finding the End of Line and End of File
    • Character Output
      • Writing Characters
      • New Line
      • Tabs
      • Formatted Output
    • Stream and File Handling
      • Stream Objects
      • Exceptions related to Streams
      • Suppressing Error Messages
      • Opening a Stream
      • Finding the Current Input Stream
      • Finding the current output stream
      • Backtracking through Open Streams
      • Closing a Stream
      • Flushing Output
    • Reading the State of Opened Streams
      • Stream Position Information for Terminal I/O
    • Random Access to Files
    • Summary of Predicates and Functions
    • Library Support
  • Arithmetic
    • Overview
    • Evaluating Arithmetic Expressions
    • Arithmetic Comparison
    • Arithmetic Expressions
      • Arithmetic calculations
      • Peeking into Memory
      • Bit-vector Operations
      • Character Codes
    • Predicate Summary
    • Library Support
  • Looking at Terms
    • Meta-logical Predicates
      • Type Checking
      • Unification and Subsumption
    • Analyzing and Constructing Terms
    • Analyzing and Constructing Lists
    • Converting between Constants and Text
    • Assigning Names to Variables
    • Copying Terms
    • Comparing Terms
      • Introduction
      • Standard Order of Terms
      • Sorting Terms
    • Library Support
    • Summary of Predicates
  • Looking at the Program State
    • Overview
    • Associating Predicates with their Properties
    • Associating Predicates with Files
    • Prolog Flags
      • Changing or Querying System Parameters
      • Parameters that can be Queried Only
    • Load Context
      • Predicate Summary
  • Interrupting Execution
    • Control-c Interrupts
    • Interrupt Handling
      • Changing Prolog's Control Flow from C
      • User-specified signal handlers
      • Critical Regions
    • Predicate/Function Summary
    • Library Support
  • Memory Use and Garbage Collection
    • Overview
      • Reclaiming Space
      • Displaying Statistics
    • Garbage Collection and Programming Style
    • Enabling and Disabling the Garbage Collector
    • Monitoring Garbage Collections
    • Interaction of Garbage Collection and Heap Expansion
    • Invoking the Garbage Collector Directly
    • Operating System Interaction
    • Atom Garbage Collection
      • The Atom Garbage Collector User Interface
      • Protecting Atoms in Foreign Memory
      • Permanent Atoms
      • Details of Atom Registration
    • Summary of Predicates
  • Modules
    • Overview
    • Basic Concepts
    • Defining a Module
    • Converting Non-module-files into Module-files
    • Loading a Module
    • Visibility Rules
    • The Source Module
    • The Type-in Module
    • Creating a Module Dynamically
    • Module Prefixes on Clauses
      • Current Modules
    • Debugging Code in a Module
    • Modules and Loading through the Editor Interface
    • Name Clashes
    • Obtaining Information about Loaded Modules
      • Predicates Defined in a Module
      • Predicates Visible in a Module
    • Importing Dynamic Predicates
    • Module Name Expansion
    • The meta_predicate Declaration
    • Predicate Summary
  • Modification of the Database
    • Introduction
    • Dynamic and Static Procedures
    • Database References
    • Adding Clauses to the Database
    • Removing Clauses from the Database
      • A Note on Efficient Use of retract/1
    • Accessing Clauses
    • Modification of Running Code: Examples
      • Example: assertz
      • Example: retract
      • Example: abolish
    • The Internal Database
    • Summary of Predicates
  • Sets and Bags: Collecting Solutions to a Goal
    • Introduction
    • Collecting a Sorted List
      • Existential Quantifier
    • Collecting a Bag of Solutions
      • Collecting All Instances
    • Library Support
    • Predicate Summary
  • Grammar Rules
    • Definite Clause Grammars
    • How to Use the Grammar Rule Facility
    • An Example
    • Translation of Grammar Rules into Prolog Clauses
      • Listing Grammar Rules
    • Summary of Predicates
  • On-line Help
    • Introduction
    • Help Files
      • Overview
      • Menus
      • Cross-References
      • Displaying help files
    • Emacs Commands for Using the Help System
      • Emacs Commands
      • Predicate Summary
  • Access to the Operating System
    • Overview
    • Executing Commands from Prolog
      • Changing the Working Directory
      • Other Commands
      • Spawning an Interactive Shell
    • Accessing Command Line Arguments
      • Arguments as Numbers or as Strings
      • Accessing Prolog's Arguments from C
    • Predicate Summary
    • Library Support
  • Errors and Exceptions
    • Overview
    • Raising Exceptions
    • Handling Exceptions
      • Protecting a Particular Goal
      • Handling Unknown Predicates
    • Error Classes
      • Instantiation Errors
      • Type Errors
      • Domain Errors
      • Range Errors
      • Representation Errors
      • Existence Errors
      • Permission Errors
      • Context Errors
      • Consistency Errors
      • Syntax Errors
      • Resource Errors
      • System Errors
    • An Example
    • Exceptions and Critical Regions
    • Summary of Predicates and Functions
    • Summary of Relevant Libraries
  • Messages
    • Overview
    • Implementation: Term-Based Messages
    • Examples of Using the Message Facility
      • Adding messages
      • Changing message text
      • Intercepting the printing of a message
      • Interaction
    • Internationalization of Quintus Prolog messages
      • Translating the Messages
      • Testing and Installing the Translated Messages
      • Building a Version of Prolog using the Translated Messages
      • Using Kanji characters
    • Summary of Predicates
• Creating Executables
  • Stand-Alone Programs & Runtime Systems
    • Basic Concepts
      • Terminology
      • Shared Libraries and Delivering Execuatables
      • Stand-Alone Programs
      • Runtime Systems
      • Compiling and Linking
      • The Runtime Kernel vs. Development Kernel
    • Invoking qpc, the Prolog-to-QOF Compiler
    • Invoking qld, the QOF Link eDitor
      • Implicit invocation via qpc
      • Explicit Invocation
    • Dependencies of QOF files
      • Generating QOF Files and Dependencies
      • Example
      • Using the make(1) utility
    • File Search Paths and qld
    • Embedded Commands and Initialization Files
      • Compile-time code vs. Runtime code
      • Initialization Files
      • Side-Effects in Compile-Time Code
      • Modules and Embedded Commands
      • Predicates Treated in a Special Way
      • Restriction on Compile-Time Code
    • Operator Declarations
    • Saved-States and QOF files
    • Dynamic Foreign Interface
    • Linking with QUI
  • The Runtime Generator
    • Introduction
    • Predicates not supported by the Runtime Kernel
    • Providing a Starting Point: runtime_entry/1
    • Control-c Interrupt Handling
    • Shared vs. Static Object Files
    • Building DLLs containing Prolog code
      • Setting up the environment
      • Compiling the Prolog code
      • Compiling the C code
      • Linking the DLL
    • Installing an Application: runtime(File)
• Foreign Language Interface
  • Overview
  • Embedding Prolog Programs
    • Overview
    • The Embedding Layer
      • Contrasting Old and New Models
    • How Embedding Works
      • Defining your own main()
      • The Embedding Functions for Memory Management
      • The Embedding Functions For Input/Output
    • Summary of Functions
  • Prolog Calling Foreign Code
    • Introduction
      • Summary of steps
    • Using Shared Object Files and Archive Files
      • Loading Foreign Executables
      • Loading Foreign Files
    • Linking Foreign Functions to Prolog Procedures
    • Specifying the Argument Passing Interface
    • Passing Integers
      • Passing an Integer to a Foreign Function
      • Returning an Integer from a Foreign Function
      • An Integer Function Return Value
    • Passing Floats
      • Passing a Float to a Foreign Function
      • Returning a Float from a Foreign Function
      • A Floating-point Function Return Value
    • Passing Atoms
      • Passing Atoms in Canonical Form
      • Passing Atoms as Strings between Prolog and C
      • Passing Atoms as Strings to/from Pascal or FORTRAN
      • Converting between Atoms and Strings
    • Passing Prolog Terms
      • Passing a Prolog term to a Foreign Function
      • Returning a Prolog term from a Foreign Function
      • A Prolog term returned as a value of a Foreign Function
    • Passing Pointers
    • Important Prolog Assumptions
    • Debugging Foreign Code Routines
    • Implementation of load_foreign_executable/1
    • Implementation of load_foreign_files/2
    • Library support for linking foreign code
    • Foreign Code Examples: UNIX
      • C Interface
      • Pascal Interface
      • FORTRAN Interface
      • Passing pointers between Prolog and Foreign Code
    • Summary of Predicates and Functions
    • Library Support
  • Foreign Functions Calling Prolog
    • Introduction
      • Summary of steps
    • Making Prolog Procedures Callable by Foreign Functions
      • Specifying the Argument Passing Interface: extern/1
    • Passing Data to and from Prolog
      • Passing Integers
      • Passing Floats
      • Passing Atoms in Canonical Form
    • Converting Between Atoms and Strings
      • Passing Atoms as Strings
      • Passing Terms
      • Passing Addresses
    • Invoking a Callable Predicate from C
      • Looking Up a Callable Prolog Predicate
      • Making a Determinate Prolog Query
      • Initiating a Nondeterminate Prolog Query
      • Requesting a Solution to a Nondeterminate Prolog Query
      • Terminating a Nondeterminate Prolog Query
    • Examples
      • Calling Arbitrary Prolog Goals from C
      • Generating Fibonacci Numbers
      • Calling a Nondeterminate Predicate
      • Nested Prolog Queries
    • Calling Prolog from Pascal and FORTRAN
    • Summary of Predicates and Functions
    • Library Support
  • Quintus Prolog Input / Output System
    • Overview
    • Input/Output Model
    • Stream Structure
      • Filename of A Stream
      • Mode of A Stream
      • Format of A Stream
      • Maximum Record Length
      • Line Border Code
      • File Border Code
      • Reading Past End Of File
      • Prompt String
      • Record Trimming
      • Seek Type
      • Flushing An Output Stream
      • Output Stream Buffer Overflow
      • Storing Error Condition Of A Stream
      • System-Dependent Address In A File Stream
      • Bottom Layer Functions
    • TTY Stream
    • Defining A Customized Prolog Stream
      • Summary of Steps
      • Defining a Stream Structure
      • Opening The User-Defined Stream
      • Allocating Space And Setting Field Values For the User-Defined Stream
      • Setting Up The QP_stream Structure
      • Initialize and Register The Created Stream
      • TTY Group For TTY Stream
    • The Bottom Layer Functions
      • The Bottom Layer Read Function
      • The Bottom Layer Write Function
      • The Bottom Layer Flush Function
      • The Bottom Layer Seek Function
      • The Bottom Layer Close Function
    • Examples Of User-Defined Streams
      • Creating A Binary Stream
      • Creating A Stream To Read An Encrypted File
      • Creating A Stream Based On C Standard I/O Library
    • Built-in C Functions And Macros For I/O
    • Backward Compatibility I/O Issues
      • Default Stream
      • User_defined Streams
• Inter-Process Communication
  • tcp: Network Communication Package
    • The client/server relationship
    • Using tcp
      • tcp_trace(-OldValue, +On_or_Off)
      • tcp_watch_user(-Old, +On_or_Off)
      • tcp_reset
    • Maintaining Connections
      • tcp_create_listener(?Address, -PassiveSocket)
      • tcp_destroy_listener(+PassiveSocket)
      • tcp_listener(?PassiveSocket)
      • tcp_address_to_file(+ServerFile, +Address)
      • tcp_address_from_file(+ServerFile, -Address)
      • tcp_address_from_shell(+Host, +ServerFile, -Address)
      • tcp_address_from_shell(+Host, +UserId, +ServerFile, -Address)
      • tcp_connect(+Address, -Socket)
      • tcp_connected(?Socket)
      • tcp_connected(?Socket,?PassiveSocket)
      • tcp_shutdown(+Socket)
      • Short lived connections
    • Sending and Receiving Terms
      • tcp_select(-Term)
      • tcp_select(+Timeout, -Term)
      • tcp_send(+Socket, +Term)
    • Time Predicates
      • tcp_now(-Timeval)
      • tcp_time_plus(?Timeval1, ?DeltaTime, ?Timeval2)
      • tcp_schedule_wakeup(+Timeval, +Term)
      • tcp_scheduled_wakeup(?Timeval, ?Term)
      • Canceling Wakeups
      • tcp_daily(+Hour, +Minute, +Seconds, -Timeval)
      • tcp_date_timeval(?Date, ?Timeval)
    • Using Prolog streams
      • tcp_select_from(-Term)
      • tcp_select_from(+Timeout, -Term)
      • tcp_input_stream(?Socket, -Stream)
      • tcp_output_stream(?Socket, -Stream)
    • The Callback Interface
      • tcp_create_input_callback(+Socket, +Goal)
      • tcp_destroy_input_callback(+Socket)
      • tcp_input_callback(*Socket, *Goal)
      • tcp_create_timer_callback(+Timeval, +Goal, -TimerId)
      • tcp_destroy_timer_callback(+TimerId)
      • tcp_timer_callback(*Timerid, *Goal)
      • tcp_accept(+PassiveSocket, -Socket)
    • The C functions
      • tcp_create_listener()
      • tcp_address_to_file()
      • tcp_address_from_file()
      • tcp_address_from_shell()
      • tcp_connect()
      • tcp_accept()
      • tcp_select()
      • tcp_shutdown()
    • Examples
  • IPC/RPC: Remote Predicate Calling
    • Overview
    • Prolog Process Calling Prolog Process
      • save_servant(+SavedState)
      • create_servant(+Machine, +SavedState, +OutFile)
      • call_servant(+Goal)
      • bag_of_all_servant(?Template, +Goal, -Bag)
      • set_of_all_servant(?Template, +Goal, -Set)
      • reset_servant
      • shutdown_servant
    • C Process Calling Prolog Process
      • The Prolog Side
      • save_ipc_servant(+SavedState)
      • The C Side
      • QP_ipc_create_servant()
      • QP_ipc_lookup()
      • QP_ipc_prepare()
      • QP_ipc_next()
      • QP_ipc_close()
      • QP_ipc_shutdown_servant()
      • QP_ipc_atom_from_string()
      • QP_ipc_string_from_atom()
      • Examples
    • Tracing
      • msg_trace(-OldValue, +OnOrOff)
    • Known Bugs
• Library
  • Introduction
    • Directory Structure
    • Status of Library Packages
    • Documentation of Library Packages
      • Accessing Code Comments
    • Notation
      • Character Codes
      • Mode Annotations
  • List Processing
    • Introduction
    • What is a "Proper" List?
    • Five List Processing Packages
    • Basic List Processing -- library(basics)
      • Related Built-in Predicates
      • member(?Element, ?List)
      • memberchk(+Element, +List)
      • nonmember(+Element, +List)
    • Lists as Sequences -- library(lists)
    • Lists as Sets
      • Set Processing -- library(sets)
      • Predicates Related to Sets
    • Lists as Ordered Sets -- library(ordsets)
    • Parts of lists -- library(listparts)
  • Term Manipulation
    • Introduction
    • The Six Term Manipulation Packages
    • Finding a Term's Arguments -- library(arg)
    • Altering Term Arguments -- library(changearg)
    • Checking Terms for Subterms -- library(occurs)
    • Note on Argument Order
    • Checking Functors -- library(samefunctor)
    • Term Subsumption -- library(subsumes)
    • Unification -- library(unify)
    • library(termdepth)
  • Text Processing
    • Introduction -- library(strings)
      • Access to operating system -- system/1
    • Type Testing
    • Converting Between Constants and Characters
      • name(?Constant, ?Chars)
      • atom_chars(?Atom, ?Chars)
      • number_chars(?Number, ?Chars)
      • char_atom(?Char, ?Atom)
    • Comparing Text Objects
    • Concatenation
      • Concatenation Functions
    • Finding the Length and Contents of a Text Object
    • Finding the width of a term -- library(printlength)
    • Finding and Extracting Substrings
      • midstring/[3,4,5,6]
      • substring/[4,5]
      • subchars/[4,5]
      • The "span" family
    • Generating Atoms
    • Case Conversion -- library(ctypes)
    • Note
  • XML Parsing and Generation
  • Negation
    • Introduction -- library(not)
    • The "is-not-provable" Operator
    • "is-not-provable" vs. "is-not-true" -- not(Goal)
    • Inequality
      • Term1 \= Term2
      • Term1 ~= Term2
    • Forcing Goal Determinacy -- once(Goal)
    • Summary
  • Operations on Files
    • Introduction -- library(files)
    • Built-in Operations on Files
    • Renaming and Deleting Files
    • Checking To See If A File Exists
    • Other Related Library Files
      • library(aropen)
      • library(ask)
      • library(big_text)
      • library(crypt)
      • library(directory)
      • library(fromonto)
      • library(unix)
  • Looking Up Files
    • Introduction -- library(directory)
    • Finding Files in Directories
    • Finding Subdirectories
    • Finding Properties of Files and Directories
    • Summary
  • Obtaining User Input
    • Introduction
    • Classifying Characters -- library(ctypes)
    • Reading and Writing Lines -- library(lineio)
    • Reading Continued Lines -- library(continued)
    • Reading English Sentences
      • Overview
      • library(readin)
      • library(readsent)
    • Yes-no Questions, and Others -- library(ask)
    • Other Prompted Input -- library(prompt)
    • Pascal-like Input -- library(readconstant)
  • Interface to Math Library
    • Introduction -- library(math)
  • Miscellaneous Packages
    • library(ctr)
    • library(date)
    • Arbitrary Expressions -- library(activeread)
    • library(addportray)
  • Tools
    • The tools Directory
      • Overview
    • The Cross-Referencer -- qpxref
    • Determinacy Checker -- qpdet
  • Abstracts
• The Structs Package
  • Foreign Types
    • Declaring Types
  • Using Structs with QPC
  • Checking Foreign Term Types
  • Creating and Destroying Foreign Terms
  • Accessing and Modifying Foreign Term Contents
  • Casting
  • Null Foreign Terms
  • Interfacing with Foreign Code
  • Examining Type Definitions at Runtime
  • Structs to C
  • Tips
• The Quintus Objects Package
  • Introduction
    • Using Quintus Objects
    • Defining Classes
    • Using Classes
    • Looking Ahead
  • Simple Classes
    • Scope of a Class Definition
    • Slots
      • Visibility
      • Types
      • Initial Values
      • The null object
    • Methods
      • Get and Put Methods
      • Direct Slot Access
      • Send Methods
      • Create and Destroy Methods
      • Instance Methods
  • Inheritance
    • Single Inheritance
      • Class Definitions
      • Slots
      • Methods
      • Send Super
    • Multiple Inheritance
      • Class Definitions
      • Slots
      • Methods
      • Abstract and Mixin Classes
    • Asking About Classes and Objects
      • Objects
      • Classes
      • Messages
  • Term Classes
    • Simple Term Classes
    • Restricted Term Classes
    • Specifying a Term Class Essence
  • Technical Details
    • Syntax of Class Definitions
    • Limitations
      • Debugging
      • Garbage Collection
      • Multiple Inheritance
      • Persistence
  • Exported Predicates
    • <-/2
    • <</2
    • >>/2
    • class/1 directive
    • class_ancestor/2
    • class_method/1 directive
    • class_superclass/2
    • class_of/2
    • create/2
    • current_class/1
    • debug_message/0 directive
    • define_method/3
    • descendant_of/2
    • destroy/1
    • direct_message/4
    • end_class/[0,1] directive
    • fetch_slot/2
    • inherit/1 directive
    • instance_method/1 directive
    • message/4
    • nodebug_message/0 directive
    • pointer_object/2
    • store_slot/2
    • undefine_method/3
    • uninherit/1 directive
  • Glossary
• The PrologBeans Package
  • Introduction
  • Features
  • A First Example
  • Java Interface
  • Prolog Interface
  • Examples
    • Embedding Prolog in Java Applications
    • Application Servers
    • Configuring Tomcat for PrologBeans
• The ProXL Package
  • Introduction
    • User Benefits
    • ProXL Features
    • Windows
    • Drawing and filling lines and shapes
    • Drawing text
    • Drawing Pixmaps and drawing into Pixmaps
    • Graphics attributes of drawables
      • Fonts
      • Color and colormaps
      • Graphics contexts (GCs)
    • Cursors
    • Inferring arguments
    • Attributes: Specifying properties of ProXL objects
    • Handling keyboard and mouse input
      • Callbacks
      • Refreshing windows
      • Errors
    • Displays and Screens
  • Tutorial
    • Displaying a Window on the Screen
    • Displaying Text in the Window
    • Making the Window the Right Size
    • Drawing a Textured Background
    • Drawing a Drop Shadow
    • Specifying a Title for the Window
    • Color
    • Specifying a Cursor for the Window
    • Specifying a Callback Procedure for a Window Event
      • Redrawing a window using a callback procedure
      • handle_events and Terminating a Dispatch Loop
    • The 'hello.pl' Program
  • Windows
    • Window Attributes
    • Window Manager Interaction: Properties
      • Giving the Window a Name
      • Giving the Window's Icon a Name
      • Suggesting a Size and Shape for the Window
      • Suggesting Icon, Initial State, and Other Features
      • Transient windows
      • Icon Sizes
      • Other Window Properties
    • Creating and Destroying Windows
      • create_window/[2,3]
      • destroy_window/1
      • destroy_subwindows/1
    • Finding and Changing Window Attributes
      • get_window_attributes/[2,3]
      • put_window_attributes/[2,3]
      • rotate_window_properties/[2,3]
      • delete_window_properties/[1,2]
      • map_subwindows/1
      • unmap_subwindows/1
    • Miscellaneous Window Primitives
      • restack_window/2
      • window_children/[1,2]
      • current_window/[1,2]
    • Selections
      • set_selection_owner/[2,3,4]
      • get_selection_owner/[2,3]
      • convert_selection/[4,5,6]
    • Checking Window Validity
      • valid_window/1
      • valid_windowable/2
      • ensure_valid_window/2
      • ensure_valid_windowable/3
  • Events and Callbacks
    • Introduction
    • Event Specification
      • Events uniquely selected by a single mask
      • Events that come in pairs selected by a single mask
      • Multiple events selected by a single mask
      • Multiple events selected by different masks
      • Single events selected by multiple masks
      • Events that are always selected
    • Event Fields
      • button_press and button_release Events
      • circulate_notify Event
      • circulate_request Event
      • client_message Event
      • colormap_notify Event
      • configure_notify Event
      • configure_request Event
      • create_notify Event
      • destroy_notify Event
      • enter_notify and leave_notify Events
      • expose Event
      • focus_in and focus_out Events
      • graphics_expose Event
      • no_expose Event
      • gravity_notify Event
      • keymap_notify Event
      • key_press and key_release Events
      • map_notify Event
      • unmap_notify Event
      • mapping_notify Event
      • map_request Event
      • motion_notify Event
      • property_notify Event
      • reparent_notify Event
      • resize_request Event
      • selection_clear Event
      • selection_notify Event
      • selection_request Event
      • visibility_notify Event
      • default Event
    • Activating the callback mechanism
      • handle_events/[0,1,2,3]
      • dispatch_event/[1,2,3]
      • Exit Variables
  • Drawing Primitives
    • Clearing and Copying Areas
      • clear_area/[5,6]
      • clear_window/1
      • copy_area/[8,9]
      • copy_plane/[9,10]
    • Drawing Points
      • draw_point/[3,4]
      • draw_points/[2,3]
      • draw_points_relative/[2,3]
    • Drawing Lines
      • draw_line/[5,6]
      • draw_lines/[2,3]
      • draw_lines_relative/[2,3]
      • draw_segments/[2,3]
    • Drawing and Filling Polygons
      • draw_polygon/[2,3]
      • draw_polygon_relative/[2,3]
      • fill_polygon/[3,4]
      • fill_polygon_relative/[3,4]
    • Drawing and Filling Rectangles
      • draw_rectangle/[5,6]
      • draw_rectangles/[2,3]
      • fill_rectangle/[5,6]
      • fill_rectangles/[2,3]
    • Drawing and Filling Arcs
      • draw_arc/[7,8]
      • draw_arcs/[2,3]
      • fill_arc/[7,8]
      • fill_arcs/[2,3]
    • Drawing and Filling Ellipses and Circles
      • draw_ellipse/[5,6]
      • draw_ellipses/[2,3]
      • fill_ellipse/[5,6]
      • fill_ellipses/[2,3]
    • Drawing Text
      • draw_string/[4,5]
      • draw_image_string/[4,5]
      • draw_text/[4,5]
  • Graphics Attributes and Graphics Contexts
    • Graphics Attributes
    • Finding and Changing Graphics Attributes
      • get_graphics_attributes/2
      • put_graphics_attributes/2
      • Example
    • Creating and Destroying GCs
      • create_gc/[2,3]
      • release_gc/1
      • Using Gcs
      • Sharing and Cloning of Gcs
    • Checking GC validity
      • valid_gc/1
      • ensure_valid_gc/2
      • valid_gcable/2
      • ensure_valid_gcable/3
  • Fonts
    • Font Attributes
    • Loading and Unloading Fonts
      • load_font/[2,3]
      • release_font/1
    • Finding Font Attributes
      • get_font_attributes/2
    • The Font Search Path
      • get_font_path/[1,2]
      • set_font_path/[1,2]
    • What Fonts Are Available?
      • current_font/[1,2,3,4]
      • current_font_attributes/[2,3,4,5]
    • The Size of a String
      • text_width/3
      • text_extents/[7,8]
      • query_text_extents/[7,8]
    • Checking Font Validity
      • valid_font/1
      • ensure_valid_font/2
      • valid_fontable/2
      • ensure_valid_fontable/3
  • Colors and Colormaps
    • Color Specifications
    • Visuals
    • Using Colors
    • Allocating and Freeing Colors
      • alloc_color/[2,3,4,5]
      • parse_color/[2,3]
      • free_colors/[2,3]
    • Standard Colormaps
      • get_standard_colormap/[2,3]
    • Allocating Color Cells and Planes
      • alloc_color_cells/5 and alloc_contig_color_cells/5
      • alloc_color_planes/[8,9] and alloc_contig_color_planes/[8,9]
      • Freeing Color Cells and Planes
    • Finding and Changing Colors
      • put_color/[2,3]
      • put_colors/[1,2]
      • get_color/[2,3]
      • get_colors/[1,2]
    • Creating and Freeing Colormaps
      • create_colormap/[1,2,3]
      • create_colormap_and_alloc/[1,2,3]
      • free_colormap/1
      • copy_colormap_and_free/2
    • Colormap Installation
      • install_colormap/1
      • uninstall_colormap/1
      • installed_colormap/[1,2]
    • Checking Colormap Validity
      • valid_colormap/1
      • valid_colormapable/2
      • ensure_valid_colormap/2
      • ensure_valid_colormapable/3
  • Pixmaps and Bitmaps
    • Pixmap Attributes
    • Finding and Changing Pixmap Attributes
      • get_pixmap_attributes/[2,3]
      • put_pixmap_attributes/[2,3]
    • Creating and Freeing Pixmaps
      • create_pixmap/[2,3]
      • free_pixmap/1
    • Reading and Writing Bitmap Files
      • read_bitmap_file/[2,3,4,5]
      • write_bitmap_file/[2,4]
    • Checking Pixmap Validity
      • valid_pixmap/1
      • ensure_valid_pixmap/2
  • Cursors
    • Creating and Freeing Cursors
      • create_cursor/[2,3,4,5]
      • free_cursor/1
    • Cursor Utilities
      • recolor_cursor/3
      • query_best_cursor/[4,5]
    • Checking Cursor Validity
      • valid_cursor/1
      • ensure_valid_cursor/2
  • Displays and Screens
    • Display Attributes
      • get_display_attributes/[1,2]
    • Opening and Closing Displays
      • open_display/2
      • close_display/1
    • Flushing and Syncing Displays
      • flush/[0,1]
      • sync/[0,1] and sync_discard/[0,1]
    • Finding Currently Open Displays
      • current_display/1
      • default_display/1
    • Checking Display Validity
      • valid_display/1
      • valid_displayable/2
      • ensure_valid_display/2
      • ensure_valid_displayable/3
    • Screen Attributes
      • get_screen_attributes/[1,2]
    • The Default Screen
      • default_screen/2
    • Checking Screen Validity
      • valid_screen/1
      • valid_screenable/2
      • ensure_valid_screen/2
      • ensure_valid_screenable/3
    • Interfacing with Foreign Code
      • proxl_xlib/[3,4]
      • display_xdisplay/2
      • screen_xscreen/2
      • visual_id/[2,3]
  • Event Handling Functions
    • active_windows/[0,1]
    • events_queued/[2,3]
    • pending/[1,2]
    • new_event/[1,2]
    • dispose_event/1
    • next_event/[2,3]
    • peek_event/[2,3]
    • window_event/4
    • check_window_event/4
    • mask_event/[3,4]
    • check_mask_event/[3,4]
    • check_typed_event/[2,3]
    • check_typed_window_event/3
    • put_back_event/[1,2]
    • send_event/[4,5]
    • send/[4,5]
    • get_event_values/2
    • put_event_values/2
    • get_motion_events/4
  • Handling Errors Under ProXL
    • Introduction
    • Recoverable Errors
    • Fatal Errors
    • The ProXL Error Handler
    • Error Handling Options
      • error_action/[2,3]
      • synchronize/[1,2]
  • Window Manager Functions
    • Controlling the Lifetime of a Window
      • change_save_set/[2,3]
    • Grabbing the Pointer
      • grab_pointer/9
      • grab_button/9
      • ungrab_button/3
      • ungrab_pointer/[0,1,2]
      • change_active_pointer_grab/[3,4]
    • Grabbing the Keyboard
      • grab_keyboard/6
      • ungrab_keyboard/[0,1,2]
      • grab_key/6
      • ungrab_key/3
      • allow_events/[1,2,3]
    • Grabbing the Server
      • grab_server/[0,1]
      • ungrab_server/[0,1]
    • Miscellaneous Control Functions
      • warp_pointer/8
      • set_input_focus/3
      • get_input_focus/[2,3]
      • set_close_down_mode/[1,2]
      • kill_client/[0,1,2]
    • Pointer Control
      • get_pointer_attributes/[1,2]
      • put_pointer_attributes/[1,2]
    • Keyboard Control
      • get_keyboard_attributes/[1,2]
      • put_keyboard_attributes/[1,2]
      • bell/[1,2]
    • Screen Saver Control
      • set_screen_saver/[4,5]
      • force_screen_saver/[1,2]
      • get_screen_saver/[4,5]
  • Utility Functions
    • Bitmask Handling
      • state_mask/2
      • buttons_mask/2
      • modifiers_mask/2
      • event_list_mask/2
      • bitset_composition/3
    • Key Handling
      • rebind_key/[3,4]
      • key_keycode/[3,4]
      • keysym/[1,2]
      • is_key/[2,3]
      • key_state/[3,4]
      • key_auto_repeat/[3,4]
    • Application Preferences
      • get_default/[3,4]
      • parse_geometry/5
      • geometry/[12,13]
  • ProXL for Xlib speakers
    • Naming Conventions
    • Arguments
    • Data Structures
    • Prolog Terms
    • Convenience Functions
    • Caching
    • Default Screen and Display
    • Graphics Contexts
    • Default GCs
    • Modifying GCs
    • Sharing and Cloning of GCs
    • Memory Management
    • Mixed Language Programming
• The ProXT Package
  • Technical Overview and Manual
    • Introduction
    • Using ProXT
    • Naming Conventions
    • Predicate Arguments
    • Type Matching
    • Widget Resources
    • Callbacks
    • Using ProXT with ProXL
      • xif_initialize/3
      • widget_window/2
      • widget_to_screen/2
      • widget_to_display/2
      • xif_main_loop/[0,1,2,3]
  • Tutorial
    • Introduction
    • The ProXT programming model
    • The Motif Widget Set
    • Widget Resources
    • Event Handling
      • Widget Callbacks
      • Translations
      • Accelerators
      • Event Handlers
      • Other Events Types
      • Event Handling Loop
    • Using The Resource Database
    • Interaction with Xlib
  • ProXT 3.5 Data Types
  • ProXT 3.5 Widget Resource Data Types
  • ProXT 3.5 Exported Predicates
    • Motif Predicates
    • X Toolkit Predicates
    • ProXT Specific Predicates
  • Changes from ProXT 3.1
    • Highlights
    • Backward Compatibility
• Prolog Reference Pages
  • Reading the Reference pages
    • Overview
    • Mode Annotations
    • Predicate Categories
    • Argument Types
      • Simple Types
      • Extended Types
    • Exceptions
  • Topical List of Prolog Built-ins
    • Arithmetic
    • Character I/O
    • Control
    • Database
    • Debugging
    • Executables and QOF-Saving
    • Execution State
    • Filename Manipulation
    • File and Stream Handling
    • Foreign Interface
    • Grammar Rules
    • Help
    • Hook Predicates
    • List Processing
    • Loading Programs
    • Memory
    • Messages
    • Modules
    • Program State
    • Term Comparison
    • Term Handling
    • Term I/O
    • Type Tests
  • Built-in Predicates
    • !/0
    • ;/2 -- disjunction
    • ,/2
    • ;/2 -- if-then-else
    • ->/2
    • =/2
    • =../2
    • </2, =:=/2, =</2, =\=/2, >/2, >=/2
    • \+/1
    • ==/2, \==/2
    • @</2, @=</2, @>/2, @>=/2
    • ->/2
    • ^/2
    • abolish/[1,2]
    • abort/0
    • absolute_file_name/[2,3]
    • add_advice/3 development
    • add_spypoint/1 development
    • append/3
    • arg/3 meta-logical
    • assert/[1,2]
    • assign/2
    • at_end_of_file/[0,1]
    • at_end_of_line/[0,1]
    • atom/1 meta-logical
    • atom_chars/2
    • atomic/1 meta-logical
    • bagof/3
    • break/0 development
    • C/3
    • call/1
    • callable/1 meta-logical
    • character_count/2
    • check_advice/[0,1] development
    • clause/[2,3]
    • close/1
    • compare/3
    • compile/1
    • compound/1 meta-logical
    • consult/1
    • copy_term/2 meta-logical
    • current_advice/3 development
    • current_atom/1 meta-logical
    • current_input/1
    • current_key/2
    • current_module/[1,2]
    • current_output/1
    • current_op/3
    • current_predicate/2
    • current_spypoint/1 development
    • current_stream/3
    • db_reference/1 meta-logical
    • debug/0 development
    • debugging/0 development
    • discontiguous/1 declaration
    • display/1
    • dynamic/1 declaration
    • ensure_loaded/1
    • erase/1
    • expand_term/2 hookable
    • extern/1 declaration
    • fail/0
    • false/0
    • file_search_path/2 extendable
    • fileerrors/0
    • findall/3
    • float/1 meta-logical
    • flush_output/1
    • foreign/[2,3] hook
    • foreign_file/2 hook
    • format/[2,3]
    • functor/3 meta-logical
    • garbage_collect/0
    • garbage_collect_atoms/0
    • gc/0
    • 'QU_messages':generate_message/3 extendable
    • generate_message_hook/3 hook
    • get/[1,2]
    • get0/[1,2]
    • get_profile_results/4 development
    • ground/1 meta-logical
    • halt/[0,1]
    • hash_term/2
    • help/[0,1] hookable,development
    • initialization/1 declaration
    • instance/2
    • integer/1 meta-logical
    • is/2
    • keysort/2
    • leash/1 development
    • length/2
    • library_directory/1 extendable
    • line_count/2
    • line_position/2
    • listing/[0,1]
    • load_files/[1,2]
    • load_foreign_executable/1 hookable
    • load_foreign_files/2 hookable
    • manual/[0,1] development
    • message_hook/3 hook
    • meta_predicate/1 declaration
    • mode/1 declaration
    • module/1
    • module/2 declaration
    • multifile/1 declaration
    • multifile_assertz/1
    • name/2
    • nl/[0,1]
    • no_style_check/1
    • nocheck_advice/[0,1] development
    • nodebug/0 development
    • nofileerrors/0
    • nogc/0
    • nonvar/1 meta-logical
    • noprofile/0 development
    • nospy/1 development
    • nospyall/0 development
    • notrace/0 development
    • number/1 meta-logical
    • number_chars/2
    • numbervars/3 meta-logical
    • on_exception/3
    • op/3
    • open/[3,4]
    • open_null_stream/1
    • otherwise/0
    • peek_char/[1,2]
    • phrase/[2,3]
    • portray/1 hook
    • portray_clause/1
    • predicate_property/2
    • print/1 hookable
    • print_message/2 hookable
    • print_message_lines/3
    • profile/[0,1,2,3] development
    • prolog_flag/[2,3]
    • prolog_load_context/2
    • prompt/[2,3]
    • public/1 declaration
    • put/[1,2]
    • query_abbreviation/3 extendable
    • query_hook/6 hook
    • raise_exception/1
    • read/[1,2]
    • read_term/[2,3]
    • reconsult/1
    • recorda/3
    • recorded/3
    • recordz/3
    • remove_advice/3 development
    • remove_spypoint/1 development
    • repeat/0
    • restore/1
    • retract/1
    • retractall/1
    • runtime_entry/1 hook
    • save_modules/2
    • save_predicates/2
    • save_program/[1,2]
    • see/1
    • seeing/1
    • seek/4
    • seen/0
    • set_input/1
    • set_output/1
    • setof/3
    • show_profile_results/[0,1,2] development
    • simple/1 meta-logical
    • skip/[1,2]
    • skip_line/[0,1]
    • sort/2
    • source_file/[1,2,3]
    • spy/1 development
    • statistics/[0,2]
    • stream_code/2
    • stream_position/[2,3]
    • style_check/1
    • subsumes_chk/2 meta-logical
    • tab/[1,2]
    • tell/1
    • telling/1
    • term_expansion/2 hook
    • told/0
    • trace/0 development
    • trimcore/0
    • true/0
    • ttyflush/0, ttyget/1, ttyget0/1, ttynl/0, ttyput/1, ttyskip/1, ttytab/1
    • unix/1
    • unknown/2
    • unknown_predicate_handler/3 hook
    • use_module/[1,2,3]
    • user_help/0 hook
    • var/1 meta-logical
    • version/[0,1]
    • vms/[1,2]
    • volatile/1 declaration
    • write/[1,2]
    • write_canonical/[1,2]
    • write_term/[2,3]
    • writeq/[1,2]
• C Reference Pages
  • Return Values and Errors
  • Topical List of C Functions
    • C Errors
    • Character I/O
    • Exceptions
    • Files and Streams
    • Foreign Interface
    • Input Services
    • main()
    • Memory Management
    • Signal Handling
    • Terms in C
    • Term I/O
    • Type Tests
  • C Functions
    • QP_action()
    • QP_add_*()
    • QP_add_tty()
    • QP_atom_from_string(), QP_atom_from_padded_string()
    • QP_char_count()
    • QP_clearerr()
    • QP_close_query()
    • QP_compare()
    • QP_cons_*()
    • QP_cut_query()
    • QP_error_message()
    • QP_exception_term()
    • QP_fclose()
    • QP_fdopen()
    • QP_ferror()
    • QP_fgetc()
    • QP_fgets()
    • QP_flush()
    • QP_fnewln()
    • QP_fopen()
    • QP_fpeekc()
    • QP_fprintf()
    • QP_fputc()
    • QP_fputs()
    • QP_fread()
    • QP_fskipln()
    • QP_fwrite()
    • QP_get_*()
    • QP_getchar()
    • QP_getpos()
    • QP_initialize()
    • QP_is_*()
    • QP_line_count()
    • QP_line_position()
    • QP_malloc(), QP_free()
    • QP_new_term_ref()
    • QP_newline()
    • QP_newln()
    • QP_next_solution()
    • QP_open_query()
    • QP_peekc()
    • QP_peekchar()
    • QP_perror()
    • QP_pred()
    • QP_predicate()
    • QP_prepare_stream()
    • QP_printf()
    • QP_put_*()
    • QP_puts()
    • QP_query()
    • QP_register_atom(), QP_unregister_atom()
    • QP_register_stream()
    • QP_remove_*()
    • QP_rewind()
    • QP_seek()
    • QP_select()
    • QP_setinput()
    • QP_setoutput()
    • QP_setpos()
    • QP_skipline()
    • QP_skipln()
    • QP_string_from_atom(), QP_padded_string_from_atom()
    • QP_tab()
    • QP_tabto()
    • QP_term_type()
    • QP_toplevel()
    • QP_trimcore()
    • QP_ungetc()
    • QP_unify()
    • QP_vfprintf()
    • QP_wait_input()
    • QU_alloc_mem(), QU_alloc_init_mem(), QU_free_mem()
    • QU_fdopen() user-redefinable
    • QU_free_mem() user-redefinable
    • QU_initio() user-redefinable
    • QU_open() user-redefinable
    • QU_stream_param() user-redefinable
• Command Reference Pages
  • Command Line Utilities
    • prolog -- Quintus Prolog Development System
    • qcon -- QOF consolidator
    • qgetpath -- Get parameters of Quintus utilities and runtime applications
    • qld -- QOF link editor
    • qnm -- print QOF file information
    • qpc -- Quintus Prolog compiler
    • qplm -- Quintus Prolog license manager
    • qsetpath -- Set parameters of Quintus utilities and runtime applications
    • qui -- Quintus User Interface
• Predicate Index
• Keystroke Index
• Book Index