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