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

fact

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