Logic Programming with Requests

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

    Research output: Contribution to conferencePaperpeer-review

    83 Downloads (Pure)


    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 languageUndefined
    Number of pages15
    Publication statusPublished - Nov 1999
    Event16th International Conference on Logic Programming, ICLP 1999 - Las Cruces, United States
    Duration: 29 Nov 19994 Dec 1999
    Conference number: 16


    Conference16th International Conference on Logic Programming, ICLP 1999
    Abbreviated titleICLP
    Country/TerritoryUnited States
    CityLas Cruces
    Internet address


    • IR-56191
    • EWI-1023

    Cite this