of

fun of(unificator: Unificator): PrologScopeWithUnification