The Signature expected in errors raised while resolving a goal through \+/1 (negation as failure).
\+/1