discontiguous(Functor/Arity) discontiguous((Functor1/Arity1, Functor2/Arity2, ...)) discontiguous([Functor1/Arity1, Functor2/Arity2, ...]) discontiguous(Functor//Arity) discontiguous((Functor1//Arity1, Functor2//Arity2, ...)) discontiguous([Functor1//Arity1, Functor2//Arity2, ...])
Declares discontiguous predicates and discontiguous grammar rule non-terminals. The use of this directive should be avoided as not all backend Prolog compilers support discontiguous predicates.
discontiguous(+predicate_indicator_term) discontiguous(+non_terminal_indicator_term)
:- discontiguous(counter/1). :- discontiguous((lives/2, works/2)). :- discontiguous([db/4, key/2, file/3]).