solve
0.20.9
common
solve
/
it.unibo.tuprolog.solve.function
/
AbstractEvaluator
/
unevaluable
unevaluable
common
open
fun
unevaluable
(
struct
:
<ERROR CLASS>
)
:
<ERROR CLASS>
Content copied to clipboard