Abstract

Declarative programming, with its mathematical underpinning, was aimed to simplify rigorous reasoning about programs. For functional programs, an algebraic calculus of relations has previously been applied to optimisation problems to derive ecient greedy or dynamic programs from the corresponding inecient but obviously correct speci cations. Here we argue that this approach is natural also in the logic programming setting. 1

Citations