- 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.