Prolog directives and control constructs
Author: Daniel Diaz
Keywords: GNU Prolog, manual, Prolog, compiler, constraints, finite domains

## 7 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
  - if/1, else/0, endif/0, elif/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, (*->)/2 - soft-cut (soft if-then)
  - call/1
  - catch/3, throw/1

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