Logic Programming with Requests


Share/Save/Bookmark

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

[img]
Preview
PDF
244Kb
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/56191
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page