The Prolog Debugger and Declarative Programming

Wlodzimierz Drabent
Wlodzimierz Drabent

LOPSTR, pp. 193-208, 2019.

Cited by: 1|Views65
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