消耗投入的衍生物的性质
Properties of Input-Consuming Derivations
摘要：
研究了模态逻辑程序的输入消耗导子的性质。使用动态调度和采用诸如延迟声明的构造，输入消耗派生可以用于对逻辑程序的行为建模。我们考虑的类很好的moded程序和查询。我们表明，对于这些程序的一个弱版本的著名的开关引理也适用于输入消费的衍生物。此外，我们证明了，在适当的条件下，存在一个代数特征终止的输入消耗导子。
英文摘要：
We study the properties of input-consuming derivations of moded logic programs. Input-consuming derivations can be used to model the behavior of logic programs using dynamic scheduling and employing constructs such as delay declarations. We consider the class of nicely-moded programs and queries. We show that for these programs a weak version of the well-known switching lemma holds also for input-consuming derivations. Furthermore, we show that, under suitable conditions, there exists an algebraic characterization of termination of input-consuming derivations.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
