prolog

fun <R> prolog(function: PrologScopeWithUnification.() -> R): R