HYPROLOG: A New Logic Programming Language with Assumptions and Abduction

Henning Christiansen, Veronica Dahl

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    Abstract

    We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integrity constraints. Assumptions are a mechanism inspired by linear logic and taken over from Assumption Grammars. The language shows a novel flexibility in the interaction between the different paradigms, including all additional built-in predicates and constraints solvers that may be available. Assumptions and abduction are especially useful for language processing, and we can show how HYPROLOG works seamlessly together with the grammar notation provided by the underlying Prolog system. An operational semantics is given which complies with standard declarative semantics for the ``pure'' sublanguages, while for the full HYPROLOG language, it must be taken as definition. The implementation is straightforward and seems to provide for abduction, the most efficient of known implementations; the price, however, is a limited use of negations. The main difference wrt.\ previous implementations of abduction is that we avoid any level of metainterpretation by having Prolog execute the deductive steps directly and by treating abducibles (and assumptions as well) as CHR constraints.
    OriginalsprogEngelsk
    TitelLogic Programming, 21st International Conference, ICLP 2005
    RedaktørerMaurizio Gabbrielli, Gopal Gupta
    Antal sider15
    ForlagSpringer
    Publikationsdato2005
    Sider159-173
    ISBN (Trykt)3-540-29208-X
    StatusUdgivet - 2005
    BegivenhedLogic Programming, ICLP 2005 - Sitges, Spanien
    Varighed: 2 okt. 20055 okt. 2005
    Konferencens nummer: 21

    Konference

    KonferenceLogic Programming, ICLP 2005
    Nummer21
    LandSpanien
    BySitges
    Periode02/10/200505/10/2005
    NavnLecture Notes in Computer Science
    Vol/bind3668
    ISSN0302-9743

    Citer dette

    Christiansen, H., & Dahl, V. (2005). HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. I M. Gabbrielli, & G. Gupta (red.), Logic Programming, 21st International Conference, ICLP 2005 (s. 159-173). Springer. Lecture Notes in Computer Science, Bind. 3668