solve/it.unibo.tuprolog.solve.function/ArithmeticEvaluator/Companion

Companion

object Companion
Content copied to clipboard

Properties

Link copied to clipboard
val allowedArithmeticSignatures: List<Signature>
Content copied to clipboard

All allowed arithmetic signatures in Prolog expressions