Как утверждать негативный факт в Пайке?

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)