The Prolog debugger and declarative programming
Programming Languages
2020-03-09 v4 Logic in Computer Science
Software Engineering
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 how the debugger may be used from the declarative point of view. The results are rather not encouraging. Also, the box model of Byrd, used by the debugger, is explained in terms of SLD-resolution.
Cite
@article{arxiv.1906.04765,
title = {The Prolog debugger and declarative programming},
author = {Włodzimierz Drabent},
journal= {arXiv preprint arXiv:1906.04765},
year = {2020}
}
Comments
15 pages. This version: a reference added to a companion report with examples