coinductive(Functor/Arity) coinductive((Functor1/Arity1, Functor2/Arity2, ...)) coinductive([Functor1/Arity1, Functor2/Arity2, ...])
This is an experimental directive, used for declaring coinductive predicates. Requires a back-end Prolog compiler with minimal support for cyclic terms.
coinductive(+predicate_indicator_term)
:- coinductive(comember/2).