neck is det

 necki is det

 necks is det

 neckis is det

 neck(L, L) is det

 necki(L, L) is det

 necks(L, L) is det

 neckis(L, L) is det

Establish that everything above it should be evaluated at compile time, be careful since such part can only contain 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.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 neck(Arg1, Arg2)

 necki

 necki(Arg1, Arg2)

 necks

 necks(Arg1, Arg2)

 neckis

 neckis(Arg1, Arg2)