纯Ｄａｔａｌｏｇ的唯一模型中定理在Ｄａｔａｌｏｇ－Ｎｏｔ程序中不成立，因此，在Ｄｔａｌｏｇ－Ｎｏｔ程序的的有Ｈｅｒｂｒａｎｄ模型中，必须有一种模型的选择标准来确定程序的语义，完美模型关系是一种合理的选......