Logic Programming; co-induction

Recently, several papers dealing with co-inductive logic programming h ave been proposed, dealing with pure Prolog and constraint logic programming, with and without negation. In this paper we revisit and use, as much as possible, some fundamental …