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

Question

假设我有事实文件：

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) ”。我怎样才能做到这一点？

Answer 1

好的，似乎我可以断言它们notany：

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