Constructive Failure in Functional-Logic Programming: From Theory to Implementation

摘要

Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated feature in logic programming that has not received much attention in such progra