bigTheory
fun bigTheory(size: Int = BIG_THEORY_SIZE, last: LogicProgrammingScope.() -> Clause? = null): Theory
Builds a theory of size facts f1., f2., ..., optionally followed by one last clause; used by TestDirectives.testDirectiveLoadingQuickly to check that loading a large static knowledge base does not incur pathological (e.g. quadratic) loading time.