Format of definitions
Author: Daniel Diaz
Keywords: GNU Prolog, manual, Prolog, compiler, constraints, finite domains

## 6 Format of definitions

- General format
- Types and modes
- Errors
  - General format and error context
  - Instantiation error
  - Uninstantiation error
  - Type error
  - Domain error
  - Existence error
  - Permission error
  - Representation error
  - Evaluation error
  - Resource error
  - Syntax error
  - System error

Copyright (C) 1999-2018 Daniel Diaz Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved. More about the copyright