| Beyond Success and Failure (1998) | |||||||||||||||||
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. 1 Introduction In logic programming, success and failure determine when the computation should stop and return the result and when it should start backtracking. In this sense, success and failure form the cornerstones of control. In the traditional approach, a resolution sequence is considered to be successful if it ends in the empty query, and failing if the resulting ... | |||||||||||||||||
Details der Publikation | |||||||||||||||||
| |||||||||||||||||