Node:Public Declarations, Next:Mode Declarations, Previous:Module Declarations, Up:Declarations
The only effect of a declaration
:- public PredSpec, ..., PredSpec.
where each PredSpec is a predicate spec, is to give the SICStus cross-referencer (see The Cross-Referencer) a starting point for tracing reachable code. In some Prologs, this declaration is necessary for making compiled predicates visible. In SICStus Prolog, predicate visibility is handled by the module system. See Module Intro.