局部分层约束逻辑程序的变换规则
编程语言
2007-05-23 v1 计算机科学中的逻辑
摘要
我们提出了一组针对带否定的约束逻辑程序的变换规则。我们假设每个程序都是局部分层的，因此它具有唯一的完美模型。我们给出了充分条件，以确保所提出的变换规则集合能够保持程序的完美模型。我们的规则在某些方面扩展了文献中已经考虑过的逻辑程序和约束逻辑程序的规则，特别是，它们包含了一条针对负文字展开子句的规则。
引用
@article{arxiv.cs/0402048,
title = {Transformation Rules for Locally Stratified Constraint Logic Programs},
author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti},
journal= {arXiv preprint arXiv:cs/0402048},
year = {2007}
}
备注
To appear in: M. Bruynooghe, K.-K. Lau (Eds.) Program Development in Computational Logic, Lecture Notes in Computer Science, Springer