dsl-unify/it.unibo.tuprolog.dsl.unify/rule

rule

fun PrologScopeWithUnification.rule(function: PrologScopeWithUnification.() -> <ERROR CLASS>): <ERROR CLASS>
Content copied to clipboard