Search
Results: 2
Coalgebraic logic programming
Corecursive definitions, such as that of a stream, may often be described by elegant logic programs, but ones for which SLD-refutation is of no value while infinite SLD-derivations are of considerable value. Such definitions...
Coalgebraic logic programming
Corecursive definitions, such as that of a stream, may often be described by elegant logic programs, but ones for which SLD-refutation is of no value while infinite SLD-derivations are of considerable value. Such definitions...