Did you know ... Search Documentation:
Pack xlibrary -- prolog/checkct.pl
PublicShow source
 call_checkct(:Call, +File, +Line, Options) is multi
Meta-predicate to prevent that Call uses dynamic or multifile predicates. This is important to prevent wrong usage of compile-time optimizations on parts of the program intended to be evaluated at run-time. It was part of library(neck), but now it is in its own module to allow its usage elsewhere.