prolog::(coinductive)/1¶

coinductive( +Spec )

declare a predicate or set of predicates to be coinductive (see Co-induction).

(undocumented)

Private-func:¶

1. prolog::(coinductive)_1::(coinductive)/1(int ARG1)():