if(Goal)
Starts conditional compilation. The code following the directive is compiled if Goal
is true. The goal is subjected to goal expansion when the directive occurs in a source file.
if(@callable)
:- if(current_prolog_flag(double_quotes, atom)).