'Souffle datalog: Stop execution when one record of a relation exists

Is there a way to make souffle stop execution when one record of a relation is found (for example, say I have .decl relationA(x:number), and we find one record relationA(some number) then execution stops). Otherwise, is it not possible to make souffle flush relations to disk before execution finishes?

Thank you

static-analysisdatalog


Sources

This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Source: Stack Overflow

Solution Source

Related Questions