Did you know ... Search Documentation:
Pack xlibrary -- prolog/neck.pl
PublicShow source
 neck is det
Stablish that everything above it should be evaluated at compile time, be careful since such part should contain only predicates already defined. In case of non-determinism, several clauses would be generated. This is a practical way to generate automatic clauses with a proper instantiation of the head. If neck can not be expanded, it will succeed without side effects.