论声明式诊断的可行性

编程语言 Prolog 在很大程度上使声明式编程成为可能。程序可依据其声明式语义编写与推理。然而，在程序调试时，声明式编程的所有优势均丧失，这是因为 Prolog 调试器仅基于操作语义。声明式诊断方法（即定位程序中的错误）已然存在，却受忽视。本文讨论其可能的主要弱点，并展示如何克服它们。我们主张，存在且应当在实际编程中可用的逻辑程序有用声明式诊断方式。