Datalog程序中的指令评估顺序是什么？完美的固定点始终是最小的固定点吗？
答案 0 :(得分：1)
如果您的计划是分层的，那么您在计算中遵循阶层：从＆＃34;基本事实开始＆＃34; （EDBs）然后你继续前往仅依赖于EDB的IDB，只依赖于仅依赖于EDB等的IDB的IDB。保证固定点是唯一的。
答案 1 :(得分：0)
是的，确定的Datalog程序的完美模型与其最少的Herbrand模型（例如在[1]中可以找到的命题）相吻合。
现在，分层Datalog程序是Datalog中的一个程序，具有可分层的否定。该计划并不明确，但它是可分层的，因此可以通过阶层评估阶层（亚历山大在他的答案中描述的方式）。看到你再次到达最小固定点并不难。曾经有过关于Datalog和演绎数据库的好教科书。 Andrei Voronkov。
确定Datalog程序的评估顺序无关紧要。在Datalog的情况下，否定你必须更加小心。
[1]劳埃德 - 逻辑程序设计的基础