Logic Programming with Requests

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.

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

Show download statistics for this publication

Repository Staff Only: item control page