Coalgebraic Logic Programming: from Semantics to Implementation

Ekaterina Komendantskaya, John Power, Martin Schmidt

Coinductive definitions, such as that of an infinite stream, may often be described by elegant logic programs, but ones for which SLD-refutation is of no value as SLD-derivations f…