标签： model logic datalog
有人可以帮我吗？以下陈述是真的吗？
如果数据记录程序的最小定点评估没有终止，那么最小模型必须是无限的
我的回答：
是的，它是真的，因为在功能的情况下，最小的定点评估不会终止。
谢谢