Logic Programming with Requests

Danny De Schreye; Sandro Etalle; Femke van Raamsdonk

Logic Programming with Requests

Danny De Schreye (Editor), Sandro Etalle, Femke van Raamsdonk

Research output: Contribution to conference › Paper › peer-review

115 Downloads (Pure)

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.

Original language	Undefined
Pages	558-572
Number of pages	15
Publication status	Published - Nov 1999
Event	16th International Conference on Logic Programming, ICLP 1999 - Las Cruces, United States Duration: 29 Nov 1999 → 4 Dec 1999 Conference number: 16 https://www.cs.nmsu.edu/~complog/conferences/iclp99/

Conference

Conference	16th International Conference on Logic Programming, ICLP 1999
Abbreviated title	ICLP
Country/Territory	United States
City	Las Cruces
Period	29/11/99 → 4/12/99
Internet address	https://www.cs.nmsu.edu/~complog/conferences/iclp99/

Keywords

IR-56191
EWI-1023

Access to Document

etalle99logic

Cite this

@conference{11aa9ae8e0af46e5a1abd5db65ea4756,

title = "Logic Programming with Requests",

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.",

keywords = "IR-56191, EWI-1023",

author = "{De Schreye}, Danny and Sandro Etalle and {van Raamsdonk}, Femke",

note = "Imported from DIES; 16th International Conference on Logic Programming, ICLP 1999 ; Conference date: 29-11-1999 Through 04-12-1999",

year = "1999",

month = nov,

language = "Undefined",

pages = "558--572",

url = "https://www.cs.nmsu.edu/~complog/conferences/iclp99/",

}

TY - CONF

T1 - Logic Programming with Requests

AU - Etalle, Sandro

AU - van Raamsdonk, Femke

A2 - De Schreye, Danny

N1 - Conference code: 16

PY - 1999/11

Y1 - 1999/11

N2 - 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.

AB - 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.

KW - IR-56191

KW - EWI-1023

M3 - Paper

SP - 558

EP - 572

T2 - 16th International Conference on Logic Programming, ICLP 1999

Y2 - 29 November 1999 through 4 December 1999

ER -