fact

fun PrologScopeWithUnification.fact(function: PrologScopeWithUnification.() -> Term): Fact
Content copied to clipboard