Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 12 / Issue 11

available in:   PDF (239 kB) PS (213 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-012-11-1574

 

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

Jaime Sánchez-Hernández (Universidad Complutense de Madrid, Spain)

Abstract: 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 programming style. It is not difficult to incorporate some kind of negation as finite failure for ground goals, but we are interested in a constructive version able to deal with non-ground goals. With this aim, in previous works we have built a formal framework for checking (finite) failure of reduction. In this paper we adapt it for implementing a prototype for a functional-logic language with constructive failure as the natural counterpart to negation in logic programming.

Keywords: constructive failure, functional-logic programming, narrowing, negation

Categories: D.1.1, D.1.6, F.3.2