5 | Prolog directives and control constructs

- Prolog directives
  - Introduction
  - `dynamic/1`
  - `public/1`
  - `multifile/1`
  - `discontiguous/1`
  - `ensure_linked/1`
  - `built_in/0`, `built_in/1`, `built_in_fd/0`, `built_in_fd/1`
  - `include/1`
  - `ensure_loaded/1`
  - `op/3`
  - `char_conversion/2`
  - `set_prolog_flag/2`
  - `initialization/1`
  - `foreign/2`, `foreign/1`
- Prolog control constructs
  - `true/0`, `fail/0`, `!/0`
  - `(',')/2` - conjunction, `(;)/2` - disjunction, `(-``>``)/2` - if-then
  - `call/1`
  - `catch/3`, `throw/1`

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