1 Getting Started
1.1 Environment Variables
1.2 Data Areas
1.3 Running the Interpreter
1.4 Running the Compiler
1.5 Online Manual
1.6 User Guide
1.7 Windows Users
2 Syntax
2.1 Constants
2.1.1 Atoms
2.1.2 Numbers
2.2 Variables
2.2.1 Meta Variables
2.2.2 Object Variables
2.3 Compound Terms
2.3.1 Functional Notation
2.3.2 Expressions
2.3.3 Lists
2.3.4 Strings
2.3.5 {}-Lists
2.4 Quantified Terms
2.5 Substitutions
2.6 Programs
3 Built-In Predicates
3.1 Introduction
3.2 Control
3.3 Input / Output
3.3.1 File and Stream Handling
3.3.2 Term Input / Output
3.3.3 Character Input / Output
3.4 Terms
3.4.1 Comparison of Terms
3.4.2 Testing of Terms
3.4.3 Term Manipulation
3.4.4 List Processing
3.5 All Solutions
3.6 Arithmetic
3.7 Term Expansion
3.8 Database
3.8.1 Dynamic Database
3.8.2 Record Database
3.8.3 Global Database
3.8.4 Hash Table
3.9 Loading Programs
3.10 Debugging
3.11 Foreign Language Interface
3.11.1 High Level Foreign Language Interface
3.11.2 Low Level Foreign Language Interface
3.12 Macros
3.13 Higher-Order Predicates
3.14 Implicit Parameters
3.15 Unification Control
3.16 Delayed Problem Handling
3.17 Program State
3.18 Exception Handling
3.19 Multiple Threads
3.20 Interprocess Communication
3.21 Graphical User Interface
3.22 Garbage Collection
3.23 TCP/IP
3.24 CHR System
3.25 Miscellaneous
4 Standard Operators
5 Notation
| Table of Contents | Getting Started | Syntax | Built-in Predicates | Standard Operators | Notation | Index |