如何在 Pyke 中断言否定事实？

【问题标题】：How to assert a negative fact in Pyke?如何在 Pyke 中断言否定事实？
【发布时间】：2014-12-03 01:13:22
【问题描述】：

假设我有事实文件：

code_in_git(a)
code_in_git(b)
code_in_git(c)
build_on_disk(a)
build_on_disk(c)

我想断言规则“如果 code_in_git($branch) 而不是 build_on_disk($branch), create fact needs_build($branch)”。我该怎么做？

【问题讨论】：

标签： python declarative pyke

【解决方案1】：

好的，看来我可以用notany 断言它们：

no_build_on_disk
    foreach
        deploy.code_in_git($branch)
        notany
            deploy.build_on_disk($branch)
    assert
        deploy.needs_build($branch)

【讨论】：