ECLiPSe-specific Language Features

# Chapter 5 ECLiPSe-specific Language Features

ECLiPSe is a logic programming language derived from Prolog. This chapter describes ECLiPSe-specific language constructs that have been introduced to overcome some of the main deficiencies of Prolog.

- Structure Notation
  - Updating Structures
  - Arity and Functor of Structures
  - Printing Structures
  - Inheritance
  - Visibility
- Loop/Iterator Constructs
  - Examples
- Array Notation
  - Implementation Note
- The String Data Type
  - Choosing The Appropriate Data Type
  - Builtin Support for Strings
  - Quoted lists
- Matching Clauses
- Soft Cut