The Prolog Debugger and Declarative Programming
LOPSTR, pp. 193-208, 2019.
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
PPT (Upload PPT)