The Prolog Debugger and Declarative Programming

    Wlodzimierz Drabent
    Wlodzimierz Drabent

    LOPSTR, pp. 193-208, 2019.

    Cited by: 1|Bibtex|Views10|Links
    EI

    Abstract:

    Logic programming is a declarative programming paradigm. Programming language Prolog makes logic programming possible, at least to a substantial extent. However the Prolog debugger works solely in terms of the operational semantics. So it is incompatible with declarative programming. This report discusses this issue and tries to find ho...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments