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