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) ではない場合、ファクトを作成する場合は、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)