- neck is det
- necki is det
- neck(L, L) is det
- necki(L, L) 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.
necki is used if you don't want to create ancillary predicates for the body,
but rather have the body inlined.
The following predicates are exported, but not or incorrectly documented.
- neck(Arg1, Arg2)
- necki(Arg1, Arg2)