Back to University of Twente portal
Beyond Success and Failure
Etalle, Sandro and Raamsdonk van, Femke (1998) Beyond Success and Failure. In: Joint International Conference and Symposium on Logic Programming, JICSLP 1998, 15-19 June 1998, Manchester, UK.
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 187Kb |
| Abstract: | We study a new programming framework based on logic programming where success and failure are replaced by predicates for adequacy and inadequacy. Adequacy allows to extract a result from a partial computation, and inadequacy allows to flexibly constrain the search space. In this parameterized setting, the classical result of independence of the selection rule does not hold. We show that, under certain conditions, whenever there exists an adequate derivation there is one in which only so-called needed atoms are selected. This result is applied in a practical setting where adequacy is expressed using a notion of request. |
| Item Type: | Conference or Workshop Item |
| Copyright: | © 1998 MIT Press |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Link to this item: | http://purl.utwente.nl/publications/56217 |
| Conference URL: | http://www.cs.man.ac.uk/~kung-kiu/jicslp98/ |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page