Next: Introduction Index

ECLiPSe

User Manual

Release 5.7

Abderrahamane Aggoun (ECRC)
David Chan (ECRC)
Pierre Dufresne (ECRC)
Eamon Falvey (ICL-ITC)
Hugh Grant (ICL-ITC)
Warwick Harvey (IC-Parc)
Alexander Herold (ECRC)
Geoffrey Macartney (ECRC)
Micha Meier (ECRC)
David Miller (ICL-ITC)
Shyam Mudambi (ECRC)
Stefano Novello (ECRC and IC-Parc)
Bruno Perez (ECRC)
Emmanuel van Rossum (ECRC)
Joachim Schimpf (ECRC and IC-Parc)
Kish Shen (IC-Parc)
Periklis Andreas Tsahageas (ECRC)
Dominique Henry de Villeneuve (ECRC)

Trademarks

UNIX is a trademark of AT&T Bell Laboratories.

Quintus and Quintus Prolog are trademarks of Quintus Computer Systems, Incorporated.

VAX is a trademark of Digital Equipment Corporation

SUN-3 and SUN-4 are trademarks of Sun Microsystems, Inc.

Introduction
- What is ECLiPSe ?
- Overview
- Further Information
- Reporting Problems
Terminology
Getting started with ECLiPSe
- How do I install the ECLiPSe system?
- How do I run my ECLiPSe programs?
- How do I use tkeclipse?
  - Getting started
- How do I write an ECLiPSe program?
- How do I use eclipse?
- How do I make things happen at compile time?
- How do I use ECLiPSe libraries in my programs?
- How do I make my programs run faster?
- Other tips
  - Initialisation at start-up
  - Recommended file names
The TkECLiPSe Development Tools
- Display Matrix
  - Invoking display matrix tool interactively
- Using the development tools in applications
  - Using the Development tools in the Tcl/Tk Embedding Interface
  - Using the Remote Development Tools
    - Starting Remote Tools
ECLiPSe-specific Language Features
- Structure Notation
- Loop/Iterator Constructs
  - Examples
- Array Notation
  - Implementation Note
- The String Data Type
- Matching Clauses
- Soft Cut
The Compiler
- Program Source
- Procedure Types
- Compiler Modes
- Compiler Input
- Module Compilation
- Mode Declarations
- Inlining
- Compiler Pragmas
- Writing Efficient Code
- Compiling and loading object code
  - Restrictions
    - Object file portability
- Abstract Code Listing
Module System
- Basics
- Getting Started
- Advanced Topics
- Less Common Topics
Arithmetic Evaluation
- Built-Ins to Evaluate Arithmetic Expressions
  - Arithmetic Evaluation vs Arithmetic Constraint Solving
- Numeric Types and Type Conversions
- Arithmetic Functions
- Low Level Arithmetic Builtins
- The Multi-Directional Predicates plus/3 and times/3
- Arithmetic and Coroutining
Non-logical Storage and References
- Introduction
- Bags
- Shelves
- Stores
- Non-logical Variables
- Non-logical Arrays
- Global References
Input and Output
- Streams
- Communication via Streams
- In-memory Streams
  - String Streams
  - Queue streams
- Term Output Formats
Dynamic Code
- Compiling Procedures as Dynamic or Static
- Altering programs at run time
ECLiPSe Macros
- Introduction
- Using the macros
- Definite Clause Grammars -- DCGs
Events and Interrupts
- Events
- Errors
- Interrupts
Debugging
- The Box Model
- Format of the Tracing Messages
- Debugging-related Predicate Properties
- Starting the Debugger
- Debugging Parts of Programs
  - Mixing debuggable and non-debuggable code
- Using the Debugger via the Command Line Interface
- Extending the Debugger
  - User-defined Ports
  - Attaching a Different User Interface
- Switching To Creep Mode With CTRL-C
Development Support Tools
- Available Tools and Libraries
- Heuristic Program Checker
- Document Generation Tools
- Cross Referencing Tool
- Pretty Printer Tool
- Timing Profiler
- Port Profiler
- Line coverage
  - Compilation
  - Results
- Mode analysis
Attributed Variables
- Introduction
- Declaration
- Syntax
- Creating Attributed Variables
- Decomposing Attributed Variables
- Attribute Modification
- Attributed Variable Handlers
  - Printing Attributed Variables
- Built-Ins and Attributed Variables
- Examples of Using Attributed Variables
  - Variables with Enumerated Domains
- Attribute Specification
Advanced Control Features
- Introduction
- The Resolvent
- Suspensions
- Waking conditions for suspensions
  - Attaching Suspensions to Variables
    - User-defined Suspension Lists
  - Attaching Suspensions to Global Triggers
    - Postponed Goals
- The Waking Mechanism
- Suspend Solver
- Demon Predicates
- More about Priorities
  - Changing Priority Explicitly
  - Choice of Priorities
- Printing Suspensions
- The Standard suspend Attribute
  - The suspend/3,4 Predicates
  - Particularities of Waking by Unification
- The Top-Level Loop
- The Cut and the Suspended Goals
- Obsolete Suspension Facilities
  - Delay Clauses
    - More Examples
  - Simulating other delay primitives with delay clauses
More About Suspension
- Waiting for Instantiation
- Waiting for Binding
- Waiting for other Constraints
Memory Organisation And Garbage Collection
- Introduction
- Garbage collection
Operating System Interface
- Introduction
- Environment Access
- File System
- Creating Communicating Processes
Interprocess Communication
- Socket Domains
- Stream Connection (internet domain)
- Datagram Connection (internet domain)
- Stream Connection (unix domain)
- Datagram Connection (unix domain)
Porting Applications to ECLiPSe
- Using the compatibility language dialect
  - Compiler versus Interpreter
- Porting Programs to plain ECLiPSe
- Exploiting ECLiPSe Features
Syntax
- Introduction
- Notation
- Formal definition of clause syntax
- Syntax Differences between ECLiPSe and other Prologs
  - Properties of ECLiPSe
  - Changing the Parser behaviour
Operators
Events
- Event Types
- Stack Overflows
- ECLiPSe Fatal Errors
- User-Defined Events
ECLiPSe Command Line Options
Style Guide
- Style rules
- Module structure
- Predicate definition
Restrictions and Limits
Index
Bibliography
About this document ...

Warwick Harvey
2004-08-07

ECLiPSe User Manual Release 5.7

ECLiPSe

User Manual

Release 5.7