dsl-unify
/
it.unibo.tuprolog.dsl.unify
/
PrologScopeWithUnification
/
match
match
open fun
match
(term1:
Any
, term2:
Any
, occurCheckEnabled:
Boolean
= true):
Boolean
Content copied to clipboard