True if Goal is a compiled Prolog control structure. The difference
between control structures and meta-predicates is rather unclear.
The constructs below are recognised by the compiler and cannot be
redefined. Note that (if->then;else) is recognised as
Tags are associated to your profile if you are logged in