Smodel算法相关论文
逻辑程序设计所具有的许多突出的、独特的优点如严密、牢固的理论基础,简明易懂的语义,允许显式地表示知识,程序简洁等等,使得逻辑......
事实是逻辑程序的重要组成部分。事实维护影响着整个逻辑程序的一致性和完整性，并能够促进和完善规则维护。论文在分析了人工进行维......
