solve
/
it.unibo.tuprolog.solve.function
/
ArithmeticEvaluator
/
Companion
common
Companion
object
Companion
Content copied to clipboard
Properties
Properties
allowedArithmeticSignatures
Link copied to clipboard
common
val
allowedArithmeticSignatures
:
List
<
Signature
>
Content copied to clipboard
All allowed arithmetic signatures in Prolog expressions