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