Beyond Success and Failure


Etalle, Sandro and Raamsdonk, Femke van (1998) Beyond Success and Failure. In: Joint International Conference and Symposium on Logic Programming, JICSLP 1998, 15-19 June 1998, Manchester, UK (pp. pp. 190-205).

open access
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
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:
Conference URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page