5 Prolog directives and control constructs
Prolog directives
Introduction
dynamic/1
public/1
multifile/1
discontiguous/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
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.
More about the copyright