Contributions to the declarative approach to debugging Prolog programs
Simin Nadjm‐Tehrani · 1989
Logic programs have the characteristic that their intended semantics can be expressed declaratively or operationally. Since the two semantics coincide, programmers may find it easier to adopt the d ...