Logic Programming with Requests


Etalle, Sandro and Raamsdonk, Femke van (1999) Logic Programming with Requests. In: 16th International Conference Logic Programming, ICLP 1999, November 29 - December 4, 1999 , Las Cruces, New Mexico (pp. pp. 558-572).

open access
Abstract:We propose an extension of logic programming where the user can specify, together with the initial query, the information he is interested in by means of a request. This allows one to extract a result from an incomplete computation, such as the prefix of an infinite derivation. The classical property of independence of the selection rule doesn't hold anymore. It is shown that under mild conditions a class of selection rules can be identified for which independence holds. A model-theoretic semantics for the language is given.
Item Type:Conference or Workshop Item
Copyright:© 1999 MIT Press
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/56191
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page