Logic Programming with Requests

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

    Research output: Contribution to conferencePaperpeer-review

    30 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 languageUndefined
    Pages558-572
    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
    https://www.cs.nmsu.edu/~complog/conferences/iclp99/

    Conference

    Conference16th International Conference on Logic Programming, ICLP 1999
    Abbreviated titleICLP
    CountryUnited States
    CityLas Cruces
    Period29/11/994/12/99
    Internet address

    Keywords

    • IR-56191
    • EWI-1023

    Cite this