Residual SLDNF in CLP languages

This report gives an outline of the theoretical and practical framework for the implementation of a restricted form of residual SLDNF in languages falling under the genral CLP scheme ([JLM86]). The work is related to partial evaluation of goals in logic programs and to constructive negation ([Cha88]). In particular we implement constructive negation for arithmetic relations in the domain of real numbers under CLP(R)