68 search results - page 1 / 14 » Functional Logic Programming with Failure: A Set-Oriented Vi... |
LPAR
2001
Springer
13 years 9 months ago
2001
Springer
CSUR
1998
13 years 4 months ago
1998
CL
2000
Springer
13 years 9 months ago
2000
Springer
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
JUCS
2006
13 years 4 months ago
2006
: 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 fea...
ENTCS
2007
13 years 4 months ago
2007
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...