unify
0.20.9
unify
/
it.unibo.tuprolog.unify.exception
/
NoUnifyException
/
NoUnifyException
No
Unify
Exception
fun
NoUnifyException
(
term1
:
<ERROR CLASS>
,
term2
:
<ERROR CLASS>
)
Content copied to clipboard
fun
NoUnifyException
(
term1
:
<ERROR CLASS>
,
term2
:
<ERROR CLASS>
,
other
:
Throwable
?
)
Content copied to clipboard