Logtalk reference manual
Predicate directive: coinductive/1

coinductive/1

Description

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.

Template and modes

coinductive(+predicate_indicator_term)

Examples

:- coinductive(comember/2).