| 摘要: |
| 纯Ｄａｔａｌｏｇ的唯一模型定理在Ｄａｔａｌｏｇ－Ｎｏｔ程序中不成立，因此，在Ｄａｔａｌｏｇ－Ｎｏｔ程序的所有Ｈｅｒｂｒａｎｄ模型中，必须有一种模型的选择标准来确定程序的语义．完美模型关系是一种合理的选择标准．然而，由于完美模型的复杂性阻止了它的发展．本文分析了完美模型，通过有向图，给出了有完美模型的充要条件，并且给出构造算法及其正确性证明．本文得到的结果是：对任一自反有向图Ｇ，都能构造一个Ｄａｔａｌｏｇ－Ｎｏｔ程序Ｐ，使得Ｐ的完美模型图与Ｇ同构. |
| 关键词: 逻辑程序 Herbrand模型 分层程序 完美模型 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金资助. |
|
| The NECESSARY AND SUFFICIENT CONDITION OF PERFECT MODEL |
|
Huang Dongbin,Li LEI
|
| Abstract: |
| This paper outline the design and implementation of the PCLAgenda.PCLAgenda is a process-centered software engineering environment provided by SCOP system.Its functionality includes defining the software development process,guiding,controlling and aytomating the steps of software development,and supporting the cooperative work among individuals and teams.The kernel of PCLAgenda is the activity-cen-tered process model based on SCOP software development methodology. |
| Key words: Logic program,Herbrand model,stratified program,perfect model. |
