SICStus Prolog

SICStus Prolog
Introduction
Acknowledgments
Notational Conventions
- Keyboard Characters
- Mode Spec
- Development and Runtime Systems
- Function Prototypes
- ISO Compliance
Glossary
How to Run Prolog
- Getting Started
  - Environment Variables
- Reading in Programs
- Inserting Clauses at the Terminal
- Queries and Directives
  - Queries
  - Directives
- Syntax Errors
- Undefined Predicates
- Program Execution And Interruption
- Exiting From The Top-Level
- Nested Executions--Break
- Saving and Restoring Program States
- Emacs Interface
The Prolog Language
- Syntax, Terminology and Informal Semantics
  - Terms
  - Programs
- Declarative Semantics
- Procedural Semantics
- Occurs-Check
- The Cut Symbol
- Operators
- Syntax Restrictions
- Comments
The Module System
- Basic Concepts
- Module Prefixing
- Defining Modules
- Importation
- Module Name Expansion
- Meta-Predicate Declarations
Loading Programs
- Predicates that Load Code
- Declarations
- Initializations
- Considerations for File-To-File Compilation
Debugging
- The Procedure Box Control Flow Model
- Basic Debugging Predicates
- Plain Spypoints
- Format of Debugging Messages
- Commands Available during Debugging
- Advanced Debugging -- an Introduction
- Breakpoint Handling Predicates
- The Processing of Breakpoints
- Breakpoint Conditions
- Consulting during Debugging
- Catching Exceptions
Built-In Predicates
- Input / Output
- Arithmetic
- Comparison of Terms
- Control
- Error and Exception Handling
- Information about the State of the Program
- Meta-Logic
- Modification of Terms
- Modification of the Program
- Internal Database
- Blackboard Primitives
- All Solutions
- Messages and Queries
- Coroutining
- Debugging
- Execution Profiling
- Miscellaneous
Mixing C/C++ and Prolog
- Notes
- Calling C from Prolog
- Calling C++ from Prolog
- Support Functions
- Calling Prolog from C
- SICStus Streams
- Hooks
- Stand-alone Executables
- Examples
Mixing Java and Prolog
- Jasper Overview
- Getting Started
- Calling Prolog from Java
- Jasper Package Class Reference
- Java Exception Handling
- SPTerm and Memory
  - Lifetime of SPTerms and Prolog Memory
  - Preventing SPTerm Memory Leaks
- Java Threads
Multiple SICStus Run-Times in a Process
- Memory Considerations
- Multiple SICStus Run-Times in Java
- Multiple SICStus Run-Times in C
  - Using a Single SICStus Run-Time
  - Using More than One SICStus Run-Time
- Foreign Resources and Multiple SICStus Run-Times
  - Foreign Resources Supporting Only One SICStus Run-Time
  - Foreign Resources Supporting Multiple SICStus Run-Times
    - Simplified Support for Multiple SICStus Run-Times
    - Full Support for Multiple SICStus Run-Times
- Multiple Run-Times and Threads
Handling Wide Characters
- Introduction
- Concepts
- Summary of Prolog Level WCX features
- Selecting the WCX Mode Using Environment Variables
- Selecting the WCX Mode Using Hooks
- Summary of WCX Features in the Foreign Interface
- Summary of Wcx-Related Features in the Libraries
- WCX Related Utility Functions
- Representation of EUC Wide Characters
- A Sample Wide Character Extension (WCX) Box
Writing Efficient Programs
- Overview
- The Cut
- Indexing
- Last Clause Determinacy Detection
- The Determinacy Checker
- Last Call Optimization
  - Accumulating Parameters
  - Accumulating Lists
- Building and Dismantling Terms
- Conditionals and Disjunction
- Programming Examples
- The Cross-Referencer
The SICStus Tools
The Prolog Library
Array Operations
Association Lists
Attributed Variables
Heap Operations
List Operations
Term Utilities
Ordered Set Operations
Queue Operations
Random Number Generator
Operating System Utilities
Updatable Binary Trees
Unweighted Graph Operations
Weighted Graph Operations
Socket I/O
Linda--Process Communication
- Server
- Client
External Storage of Terms (Berkeley DB)
- Basics
- Current Limitations
- Berkeley DB
- The DB-Spec--Informal Description
- Predicates
- An Example Session
- The DB-Spec
Boolean Constraint Solver
- Solver Interface
- Examples
Constraint Logic Programming over Rationals or Reals
- Introduction
  - Referencing this Software
  - Acknowledgments
- Solver Interface
- Linearity and Nonlinear Residues
  - How Nonlinear Residues Are Made to Disappear
  - Isolation Axioms
- Numerical Precision and Rationals
- Projection and Redundancy Elimination
- Why Disequations
- Syntactic Sugar
  - Monash Examples
    - Compatibility Notes
- A Mixed Integer Linear Optimization Example
- Implementation Architecture
  - Fragments and Bits
  - Bugs
Constraint Logic Programming over Finite Domains
- Introduction
  - Referencing this Software
  - Acknowledgments
- Solver Interface
- Available Constraints
- Enumeration Predicates
- Statistics Predicates
- Answer Constraints
- The Constraint System
  - Definitions
  - Pitfalls of Interval Reasoning
- Defining Global Constraints
- Defining Primitive Constraints
- Example Programs
- Syntax Summary
Constraint Handling Rules
- Copyright
- Introduction
- Introductory Examples
- CHR Library
- Debugging CHR Programs
- Programming Hints
- Constraint Handlers
- Backward Compatibility
Finite Domain Constraint Debugger
- Introduction
- Concepts
- Basics
- Advanced Usage
SICStus Objects
- Getting Started
- Declared Objects
- Self, Message Sending, and Message Delegation
- Object Hierarchies, Inheritance, and Modules
- Creating Objects Dynamically
- Access Driven Programming--Daemons
- Instances
- Built-In Objects and Methods
- Expansion to Prolog Code
- Examples
The PiLLoW Web Programming Library
Parsing and Generating XML
Tcl/Tk Interface
- Introduction
- Tcl
- Tk
- The Tcl/Tk Prolog Library
- Putting It All Together
- Quick Reference
- Resources
The Gauge Profiling Tool
I/O on Lists of Character Codes
Jasper Java Interface
- Jasper Method Call Example
- Jasper Library Predicates
- Conversion between Prolog Arguments and Java Types
- Global vs. Local References
- Handling Java Exceptions
- Deprecated Jasper API
  - Deprecated Argument Conversions
  - Deprecated Jasper Predicates
PrologBeans Java Interface
- Introduction
- Features
- A First Example
- Java Interface
- Prolog Interface
- Examples
COM Client
- Preliminaries
- Terminology
- Predicate Reference
- Examples
The Visual Basic Interface
- Overview
- How to Call Prolog from Visual Basic
- How to Use the Interface
- Examples
- Summary of the Interface Functions
Glue Code Generator
Meta-Call with Limit on Memory Use
Meta-Call with Timeout
Summary of Built-In Predicates
Full Prolog Syntax
- Notation
- Syntax of Sentences as Terms
- Syntax of Terms as Tokens
- Syntax of Tokens as Character Strings
  - iso Execution Mode Rules
  - sicstus Execution Mode Rules
- Escape Sequences
- Notes
Standard Operators
References
Predicate Index
SICStus Objects Method Index
Keystroke Index
Book Index

Prolog is a simple but powerful programming language developed at the University of Marseille, as a practical tool for programming in logic. From a user's point of view the major attraction of the language is ease of programming. Clear, readable, concise programs can be written quickly with few errors.

SICStus Prolog

Table of Contents

SICStus Prolog