prolog

fun <R> prolog(function: PrologScopeWithTheories.() -> R): R
Content copied to clipboard