test-solve/it.unibo.tuprolog.solve/DirectiveTestsUtils/facts

facts

fun facts(functor: String, iterable: Iterable<Any>): Sequence<Fact>

A sequence of facts functor(e)., one for each element e of iterable.