rule

fun PrologScopeWithUnification.rule(function: PrologScopeWithUnification.() -> Term): Rule
Content copied to clipboard