dsl-unify
0.20.9
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